We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

How to make your software build reproducibly

00:00

Formal Metadata

Title
How to make your software build reproducibly
Title of Series
Number of Parts
85
Author
License
CC Attribution 3.0 Germany:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Auditing source code is not enough when build tools are themselves a target. When software can be built reproducibly, anyone is enabled to verify that binaries have actually been made from the source code they claim to be made from. The lecture will present several tricks learned while trying to make Debian — the largest collection of free software — build reproducibly.
TelecommunicationChaos (cosmogony)SoftwareBuildingOpen sourceComputer animationLecture/Conference
SoftwareOpen sourceBinary codeInternet service providerChaos (cosmogony)TelecommunicationProjective planeComputer animationLecture/Conference
Open sourceBinary codeSoftwareOpen sourceSoftwareProjective planeBinary codeComputerFraction (mathematics)BuildingForm (programming)MalwareSoftware bugInformation securityComputer animationLecture/Conference
Open sourceBinary codeProof theorySoftware bugBinary codeMoment (mathematics)SoftwareOpen sourceProof theoryAuthorizationLecture/ConferenceComputer animation
HypermediaSingle-precision floating-point formatPoint (geometry)MassCASE <Informatik>SoftwareOpen sourceBitStress (mechanics)MalwareIntegrated development environmentBuildingCompilerProof theoryComputer fileProjective planeBinary codeSoftware developerIncidence algebraMultiplication signLengthAuthorizationKernel (computing)Insertion lossLevel (video gaming)Lecture/ConferenceComputer animation
IRIS-TPhysical systemCompilerSoftware development kitSoftwareComputer networkSoftware developerKernel (computing)Information securityStructural loadCurvatureFreezingExpert systemParticle systemComputer programIntegrated development environmentPresentation of a groupDigital watermarkingAnnihilator (ring theory)outputProjective planeRevision controlHypothesisSoftware developerComputer animation
Binary codeIdentical particlesOpen sourceIntegrated development environmentConfidence intervalLetterpress printingBinary codeSoftwareDifferent (Kate Ryan album)Open sourceMultiplication signVirtual machineBuildingLecture/ConferenceComputer animation
System callDataflowGoodness of fitPoint (geometry)Identity managementCompilerCarry (arithmetic)Reverse engineeringComputer configurationSystem callProjective planeBinary codeIntegrated development environmentNormal (geometry)Computer wormComputer animationLecture/Conference
Normed vector spacePhysical systemIntegrated development environmentDistribution (mathematics)Source codeSoftwareNormal (geometry)Default (computer science)CodePhysical systemBuildingFunction (mathematics)Revision controlPlanningIntegrated development environmentMultiplicationComputer animationLecture/Conference
SoftwareIntegrated development environmentOpen sourceCondition numberOperator (mathematics)ResultantDifferent (Kate Ryan album)Latent heatBoom (sailing)Projective planeLecture/Conference
Physical systemoutputIntegrated development environmentComputer fileBefehlsprozessorRead-only memoryBuildingTime zoneCodeKolmogorov complexityAddress spaceIntegrated development environmentPhysical systemResultantOpen sourceoutputCellular automatonMultiplication signRow (database)Strategy gameRandomizationNumberValuation (algebra)MiniDiscFunction (mathematics)Time zoneComputer fileTimestampSoftwareBounded variationComputer animationLecture/Conference
Service (economics)CodeOpen sourceRepository (publishing)Error messageSoftwareComputer programElectronic program guidePoint (geometry)Reading (process)Stiff equationForcing (mathematics)Group actionNumberLecture/ConferenceComputer animation
Computer networkBinary codeBackupoutputoutputSource codeSelectivity (electronic)WebsiteOpen sourceMassComputer fileRight angleSoftwareContent (media)Physical systemBuildingTraffic reportingLecture/ConferenceComputer animation
Open sourceBinary codeSoftwareInternet service providerChaos (cosmogony)TelecommunicationIdentical particlesPhysical systemComputer networkBackupoutputMetadataoutputMassNumeral (linguistics)Different (Kate Ryan album)WebsiteOpen sourceOrder (biology)File archiverContent (media)Computer animation
Process (computing)outputDirectory serviceElectronic mailing listFile systemOrder (biology)Computer fileGreatest elementCellular automatonConstructor (object-oriented programming)Electronic mailing listoutputBitLocal ringDifferent (Kate Ryan album)Computer animationLecture/Conference
CASE <Informatik>Computer fileEntropie <Informationstheorie>Execution unitRange (statistics)Sensitivity analysisMenu (computing)Local ringWeb browserBuildingContent (media)Different (Kate Ryan album)WindowReal numberPattern languageLecture/ConferenceComputer animation
Read-only memoryGame controllerFluid staticsComputer fileRevision controlBasis <Mathematik>Beta functionDistribution (mathematics)Data dictionaryReading (process)Data structureSemiconductor memoryNetwork topologyComputer fileMereologyCodeNumberLecture/ConferenceComputer animation
Revision controlInformationOpen sourceControl flowPhysical systemMathematicsSource codeHash functionNumberDifferent (Kate Ryan album)Revision controlBuildingOpen sourceMusical ensembleSource codePhysical systemInformationEvoluteChainHash functionLecture/ConferenceComputer animation
Magneto-optical driveSheaf (mathematics)Line (geometry)Network-attached storageTimestampBinary codeCore dumpMultiplication signWordResultantCodeDifferent (Kate Ryan album)Price indexIntegrated development environmentSoftwareRevision controlInformationBitComputer animationLecture/Conference
TimestampTime zoneSource codeState of matterCodeSet (mathematics)Multiplication signRow (database)Time zoneVotingAutomatic differentiationComputer animationLecture/Conference
TimestampComputer configurationTime zoneStorage area networkComputerDifferent (Kate Ryan album)ResultantMultiplication signSound effectRoboticsLibrary (computing)Computer configurationHoaxSoftware bugComputer programComputer fileBuildingSingle-precision floating-point formatSoftwarePhysical systemMultiplicationSource codeWeb browserAxiom of choiceForm (programming)TimestampLecture/ConferenceComputer animation
Variable (mathematics)Integrated development environmentSineResponse time (technology)Open sourceIntegrated development environmentWritingSharewareSoftwareNumber2 (number)Patch (Unix)Condition numberColor confinementProduct (business)Metropolitan area networkPhysical systemCuboidFunction (mathematics)Student's t-testOnline helpSound effectMultiplication signComputer animationLecture/Conference
Physical systemTimestampIntegrated development environmentVariable (mathematics)SineRootMetadataProduct (business)Patch (Unix)WikiSinc functionTimestampMetadata2 (number)AdditionFood energyComputer configurationFile formatComputer fileFile archiverRow (database)Computer animationXML
Product (business)MetadataTouch typingProcess (computing)Code division multiple accessLine (geometry)Magneto-optical driveForcing (mathematics)Touch typingComputer fontProcess (computing)PreprocessorFile archiverMultilaterationFile formatComputer fileOrder (biology)CodeCore dumpFunctional (mathematics)Lecture/ConferenceComputer animation
Function (mathematics)Hash functionTable (information)Revision controlLetterpress printingModule (mathematics)Key (cryptography)Kolmogorov complexityCartesian closed categoryTelecommunicationChaos (cosmogony)Table (information)Order (biology)Formal languageHash functionKey (cryptography)Source codeRandomizationString (computer science)Multiplication signMessage passingComputerFunctional (mathematics)Virtual machineRandom number generationInitial value problemTheory of relativityFunction (mathematics)PseudozufallszahlenLink (knot theory)BefehlsprozessorNumberVariable (mathematics)Mathematical optimizationIntegrated development environmentComputer animation
SoftwareIntegrated development environmentVariable (mathematics)String (computer science)Game controllerForceTelecommunicationChaos (cosmogony)InformationPhysical systemCartesian closed categoryComputer networkBefehlsprozessorType theoryPhysical systemMultiplication signIntegrated development environmentString (computer science)MathematicsCodeSoftwareFunction (mathematics)Time zoneSoftware developerFormal languageDifferent (Kate Ryan album)Error messageInformationComputerVirtual machineVideo gameCompilerBuildingRevision controlForcing (mathematics)ResultantComputer animation
Integrated development environmentTelecommunicationChaos (cosmogony)Revision controlLatent heatCartesian closed categoryInformationRow (database)ResultantFunction (mathematics)Machine visionMoment (mathematics)CompilerRevision controlMultiplication signLecture/ConferenceComputer animation
Latent heatRevision controlPhysical systemTelecommunicationChaos (cosmogony)Integrated development environmentCartesian closed categoryRevision controlFunction (mathematics)Mathematical optimizationSynchronizationBitBuildingMessage passingSymbol tableRow (database)Process (computing)Real numberBinary codeSoftwareGoodness of fitCone penetration testCompilation albumDialectRight angleComputer architectureSet (mathematics)Lecture/ConferenceComputer animation
BuildingFunction (mathematics)Open sourceRevision controlWeb browserChaos (cosmogony)Distribution (mathematics)StatisticsComputer networkBefehlsprozessorVirtual realityCompilerOpen sourceHoaxMultiplication signDirectory serviceResultantWeb browserBefehlsprozessorBootstrap aggregatingBuildingDistribution (mathematics)Stability theorySoftwareOperator (mathematics)Physical systemOperating systemConstraint (mathematics)BitProcess (computing)Core dumpData structureWindowReal numberGroup actionView (database)Computer animation
Binary filePhysical systemCodeSoftware development kitOperations researchSystem programmingMacro (computer science)FreewareMereologyWindowBuildingInstallation artArithmetic meanFile formatStudent's t-testBinary codeBootstrap aggregatingImage registrationPhysical systemComputer animation
Binary filePhysical systemSoftware development kitOperations researchSystem programmingCartesian closed categoryTelecommunicationChaos (cosmogony)Distribution (mathematics)Integrated development environmentNP-hardSource codeGoogolRevision controlPhysical systemConfidence intervalComputer architectureIntegrated development environmentoutputComputer fileFile formatCompilerCore dumpFirmwareType theoryMultiplication signBootingDistribution (mathematics)Mechanism designProcess (computing)SoftwareCASE <Informatik>Enterprise architectureUniverse (mathematics)Solvable groupAxiom of choiceCovering spaceRight angleInequality (mathematics)DataflowResultantSign (mathematics)Computer animation
Product (business)FirmwareWeb browseroutputComputer fileDistribution (mathematics)Scripting languagePhysical systemCompilerRouter (computing)Product (business)Medical imagingPersonal digital assistantDigital rights managementBitRight angleGeometryVirtual machineScripting languageDistribution (mathematics)outputVirtualizationFilm editingComputer animation
Web browseroutputComputer fileDistribution (mathematics)BuildingTelecommunicationChaos (cosmogony)Cartesian closed categoryComputer-generated imageryInternet service providerIntegrated development environmentGame controllerHash functionContent (media)Group actionMedical imagingSoftware testingSet (mathematics)CompilerProjective planePhysical systemRevision controlProfil (magazine)Cartesian coordinate systemComputer fileComputer animation
Internet service providerComputer-generated imageryGame controllerBuildingIntegrated development environmentContent (media)Hash functionCartesian closed categoryChaos (cosmogony)Hash functionMedical imagingBuildingRevision controlDigital electronicsCondition numberForcing (mathematics)Physical systemComputer animation
Scripting languageVirtual realityBuildingIntegrated development environmentGame controllerRevision controlOpen sourceBinary fileCartesian closed categoryLatent heatTelecommunicationChaos (cosmogony)Cross-platformMultiplication signGame controllerSource codeVector spaceCuboidIntegrated development environmentComputer fileMachine visionOpen sourceElectronic mailing listScripting languageBuildingForm (programming)Revision controlPoint (geometry)File archiverService (economics)Computer animation
File formatBinary codeArchitectureRevision controlBuildingIntegrated development environmentOpen sourceHash functionComputer fileTelecommunicationChaos (cosmogony)MathematicsBounded variationElectronic mailing listUniform resource locatorOpen sourceComputer architectureBuildingComputer clusterMathematicsResultantIntegrated development environmentAnalytic continuation1 (number)Software testingDifferent (Kate Ryan album)Physical systemMultiplication signSoftwareComputer animation
Open sourceSoftware testingAveragePhysical systemComputer hardwareWebsiteDatabaseWebsiteVirtual machineResultantSoftware testingOnline helpProduct (business)InternetworkingPhysical systemOpen setRight angleProjective planeWeb 2.0Computer animationLecture/Conference
Bounded variationDomain nameMotion captureKernel (computing)Revision controlBefehlsprozessorKernel (computing)Multiplication signBounded variationPublic domainTime zoneBuildingPhysical systemMathematicsSoftware testingNamespaceView (database)Revision controlLogic gateWordFormal languageGraph coloringModal logicReverse engineeringComputer animation
Open setTelecommunicationChaos (cosmogony)Binary codePairwise comparisonCartesian closed categoryBinary fileComputer fileFile formatSingle-precision floating-point formatView (database)Arithmetic progressionPatch (Unix)Different (Kate Ryan album)Software maintenanceDemonSoftwareInsertion lossMessage passingFigurate numberGreatest elementFunction (mathematics)Pairwise comparisonComputer fileFile archiverProbability density functionRevision controlFile format1 (number)BootingComputer animation
Control flowBinary codeMetadataComputer fileDistribution (mathematics)Data dictionaryRevision controlBasis <Mathematik>Function (mathematics)File formatBuildingJava appletFormal languageFile formatProjective planeFile archiverNetwork topologyLibrary (computing)Function (mathematics)Euler anglesComputer animation
TelecommunicationChaos (cosmogony)Cartesian closed categoryBuildingMultiplication signFormal grammarCompilerInformationForm (programming)Normal (geometry)40 (number)Software developerLink (knot theory)Arithmetic meanFeedbackComplete metric spaceProjective planeBitProof theoryCompilation albumLevel (video gaming)Computer animation
Compilation albumMoment (mathematics)Projective planeCompilerMatching (graph theory)ResultantProduct (business)MereologySoftware testingChainLecture/Conference
TelecommunicationChaos (cosmogony)Core dumpCartesian closed categoryProjective planeBuildingNormal (geometry)Video gameMultiplication signLine (geometry)BitLecture/Conference
State of matterLine (geometry)Social classProjective planeGroup actionLecture/ConferenceMeeting/Interview
Moment (mathematics)Revision controlBitNumberChainResonatorFood energyDivision (mathematics)Multiplication signTrajectoryLecture/Conference
Open sourceBinary codeAreaVirtual machineFile archiverPhysical systemBuildingLevel (video gaming)Right angleLecture/Conference
FirmwareComputer simulationExtension (kinesiology)Context awarenessNatural numberTheorySoftwareTask (computing)Different (Kate Ryan album)BitStreaming mediaVariable (mathematics)Validity (statistics)Lecture/Conference
Computer virusMetropolitan area networkPatch (Unix)Virtual machineOpen sourcePoint (geometry)Integrated development environmentChainComputer programSet (mathematics)Data storage deviceLecture/Conference
Physical lawMultiplication sign
Transcript: English(auto-generated)