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

Lecture: Shamir | September 26

00:00

Formal Metadata

Title
Lecture: Shamir | September 26
Subtitle
The Insecurity of Deep Neural Networks
Title of Series
Number of Parts
13
Author
Contributors
License
No Open Access License:
German copyright law applies. This film may be used for your own use but it may not be distributed via the internet or passed on to external parties.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Machine learning has made tremendous progress in the last decade, solving a broad range of tasks ranging from recognizing objects to chatting in natural language. However, today's amazing systems have a dark side: They are incredibly easy to fool by malicious actors. In this talk, I will describe some of these attacks, such as adversarial examples and trapdoored systems, and try to solve the mystery of what makes systems which are so powerful so vulnerable. The 10th Heidelberg Laureate Forum took place from September 24–29, 2023. #HLF23 The Heidelberg Laureate Forum (HLF) is an annual networking conference where 200 carefully selected young researchers in mathematics and computer science spend a week interacting with the laureates of the most prestigious awards in their disciplines: the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal, IMU Abacus Medal and Nevanlinna Prize. The opinions expressed in the videos do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of these videos.
Computer networkMusical ensemblePublic-key cryptographyTuring testCryptographyMultiplication signComputer animationXMLLecture/Conference
Computer networkComputeroutputData structureArtificial neural networkComputer-generated imageryStandard deviationCluster samplingPoint (geometry)Sign (mathematics)PixelCellular automatonMedical imagingUniverse (mathematics)outputPerturbation theoryStatistical hypothesis testingSource codeSpacetimeLinear mapArtificial neural networkReal numberOrder (biology)Projective planeNoise (electronics)Decision theoryNonlinear systemBlackboard systemSlide ruleFlow separationSocial classMultiplication signDifferent (Kate Ryan album)MultiplicationMathematicsRight angleResultantGoodness of fitConfidence intervalMixed realityInformation securityAreaProbability distributionInterface (computing)Branch (computer science)Computer-assisted translationGodMachine learningSequencePosition operatorException handlingSquare numberSurface of revolutionForm (programming)Gene clusterFunction (mathematics)Computer scienceExact sequenceContext awarenessWhiteboardLecture/ConferenceMeeting/InterviewComputer animation
Computer-generated imageryStandard deviationCluster samplingSocial classBoundary value problemPerturbation theoryDecision theoryoutputModel theorySocial classPartition (number theory)Medical imagingData structureExpert systemPattern languageVirtual machineArtificial neural networkDecision theoryNoise (electronics)MathematicsBoundary value problemMereologyComputer-assisted translationSoftwareInformation securityDirection (geometry)SurfaceAdditionGene clusterOrder (biology)Point (geometry)Characteristic polynomialType theoryoutputConfidence intervalLevel (video gaming)Line (geometry)Machine learningArithmetic meanYouTubePerturbation theoryUniverse (mathematics)Digital electronicsConditional-access moduleRight angleDivisorMultiplication signCellular automatonComputer clusterSoftware development kitImplementationDialectComputer animation
Model theoryManifoldDivisorSpacetimeoutputNormed vector spaceComputer-generated imageryComputer-assisted translationRight angleMedical imagingMathematicsNatural numberBitoutputCASE <Informatik>Decision theorySpacetimeLine (geometry)Boundary value problemPoint (geometry)Two-dimensional spaceState observerGreatest elementStudent's t-testSoftwareGreen's functionManifoldFile archiverDimensional analysisComputer-assisted translationNumberAdditionParameter (computer programming)Order (biology)Artificial neural networkData compressionDialectDot productSystem callComputer animation
TheoryEmbedded systemSpacetimeoutputComputer-generated imageryRepresentation (politics)ManifoldRevision controlDecision theoryBoundary value problemCASE <Informatik>ManifoldDecision theoryGreatest elementSoftwareMedical imagingOrder (biology)Computer-assisted translationBoundary value problemGene clusterMereologyVertical directionSpacetimeDimensional analysisDifferent (Kate Ryan album)Two-dimensional spaceAdditionoutputComputer animationDiagram
Decision theoryBoundary value problemManifoldComputer-generated imageryComputer networkPhase transitionRandom numberCloud computingSpacetimeoutputGradientTime evolutionAverageElectronic mailing listDirection (geometry)Boundary value problemAxiom of choiceManifoldoutputWave packetPressureLevel (video gaming)Medical imagingComputer-assisted translationSpacetimeCoefficientForm (programming)Decision theoryRandomizationUniform resource locatorDirection (geometry)Partition (number theory)Dot productSoftwareInflection pointConfidence intervalVirtual machinePoint (geometry)Sound effectForcing (mathematics)SurfaceNatural numberSocial classAverageTunisDimensional analysisLine (geometry)Vertical directionVideoconferencingArtificial neural networkOrder (biology)Multiplication signRight angleDisplacement MappingDiagonalComputer chessProcess (computing)ResultantWhiteboardDistanceNumberTwo-dimensional spaceShape (magazine)WeightCASE <Informatik>Cellular automatonEvoluteBitThree-dimensional spaceProof theoryGradientMereologyRevision controlTheoryInsertion lossFunctional (mathematics)Video gameVulnerability (computing)Computer animationEngineering drawingDiagram
Computer-generated imageryDecision theoryGradientBoundary value problemManifoldDirection (geometry)SpacetimeComputer networkPerturbation theoryNormed vector spaceoutputModel theorySocial classTouchscreenCluster samplingMachine learningFraction (mathematics)Local GroupLevel (video gaming)DistanceHausdorff dimensionRevision controlEnterprise architecturePredictionInformation securityPattern recognitionSystem programmingData streamAngleCondition numberAutomationProcess (computing)Physical systemBackdoor (computing)Order (biology)Wave packetDimensional analysisBitComputer-assisted translationResultantInformation securityPattern recognitionType theoryPredictabilityMedical imagingNatural numberDifferent (Kate Ryan album)DistanceNumberDataflowState of matterCubePoint (geometry)TheoryRevision controloutputPhysical systemAverageBoundary value problemSpacetimeManifoldSoftwareSocial classDivisorArtificial neural networkDecision theoryGroup actionPerturbation theoryMereologyMixed realityCellular automatonPhysical constantVirtual machineMultiplicationGradientLine (geometry)TouchscreenProcess (computing)Hill differential equationImage resolutionReal numberWeightModel theoryUniverse (mathematics)Software development kitFile archiverMultiplication signSet (mathematics)Computer animation
Computer-generated imageryLatent heatBackdoor (computing)Medical imagingArtificial neural networkGame controllerTheoryAuditory maskingPattern recognitionPattern languageComputer animationMeeting/Interview
Mountain passSource codeModel theorySystem programmingPattern recognitionSurgeryWeightCybersexPhysical systemDifferent (Kate Ryan album)AngleComputer-generated imageryVector spaceVector graphicsCluster samplingExecution unitLinear mapTexture mappingEmbedded systemType theoryData structureComputer networkoutputArtificial neural networkTable (information)Sound effectLinear mapPhysical systemDistortion (mathematics)CybersexDistanceAnglePattern recognitionVector spaceAxiom of choiceOpen sourceDirection (geometry)PlanningResultantMedical imagingDifferent (Kate Ryan album)WeightArtificial neural networkConnected spaceNumberOrder (biology)Rule of inferenceWebsiteInformation securityBackdoor (computing)AdditionSpacetimeSoftwareWell-formed formulaState of matterMereologyBit rateMultiplication signCASE <Informatik>Uniform resource locatorComputerShape (magazine)Enterprise architectureDimensional analysisBuildingBookmark (World Wide Web)Thresholding (image processing)Identity managementCross-correlationLinear programmingComputer animation
Table (information)Installation artSequenceModel theoryIdentity managementBackdoor (computing)Computer-generated imageryDirection (geometry)Dimensional analysisVector graphicsType theoryWeightSource codeHacker (term)Computer-assisted translationMedical imagingManifoldNichtlineares GleichungssystemCondition numberDimensional analysisVector spaceCASE <Informatik>Different (Kate Ryan album)Bit rateOrder (biology)AngleProjective planeMereologySphereNumberSinc functionPole (complex analysis)MathematicsSoftwareRotationCompass (drafting)Goodness of fitDirection (geometry)Type theoryModel theoryBoundary value problemDistanceSoftware development kitNatural numberLinear mapBitRandomizationCelestial sphereWeightCellular automatonReal numberFlow separationParameter (computer programming)Fundamental solutionPoint (geometry)Wave packetView (database)CircleUnitäre MatrixOpen sourceResultantVertical directionFraction (mathematics)AdditionLinearizationCoordinate systemAverage2 (number)Decision theoryData compressionComputer animation
Musical ensembleComputer animationXML
Transcript: English(auto-generated)