Keystone: towards an open standard for trusted execution environments
Formal Metadata
Title |
| |
Title of Series | ||
Number of Parts | 637 | |
Author | ||
License | CC Attribution 2.0 Belgium: 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 | 10.5446/52524 (DOI) | |
Publisher | ||
Release Date | ||
Language |
Content Metadata
Subject Area | ||
Genre | ||
Abstract |
|
00:00
Computer hardwareIntegrated development environmentOpen setStandard deviationSoftware frameworkOpen sourceReduced instruction set computingRing (mathematics)Data integrityRootCryptographyMechanism designFirmwareCodeFormal verificationFormal grammarBus (computing)Software development kitInterface (computing)ArmIterationEndliche ModelltheorieFingerprintMobile appMobile WebPoint cloudIntelDigital rights managementBuildingProjective planeOpen sourceProcess (computing)Semiconductor memoryData managementRevision controlCartesian coordinate systemComputer programmingChainUtility softwareBuildingMereologySoftware frameworkINTEGRALRootIntegrated development environmentEntire functionEncryptionMechanism designOperating systemContext awarenessFirmwareInformationComputer hardwareOrder (biology)Information securitySoftware developerSource codeSpeicherschutzSoftwareWrapper (data mining)Slide ruleImplementationLatent heatArmModel theorySoftware testingLibrary (computing)Computing platformCASE <Informatik>Mobile WebDomain nameDampingMicrocontrollerServer (computing)Partition (number theory)Social classConnectivity (graph theory)Flow separationPhysical systemFunctional (mathematics)CoprocessorNetwork topologyCausalityWorkstation <Musikinstrument>Level (video gaming)Exception handlingPersonal digital assistantPerspective (visual)SpacetimeWebsiteComputer architectureVideo gameWordTime zoneWorkloadExecution unitFormal verificationScripting languageSet (mathematics)FreewareCodeVelocityShared memoryComputer animation
06:00
BefehlsprozessorReduced instruction set computingStandard deviationImplementationComputing platformBuildingReduction of orderDisintegrationComputer hardwareFormal verificationOpen setArchitectureSoftwareSource codeProcess (computing)Ring (mathematics)Asynchronous Transfer ModeVirtual machineModel theoryRootInformation securityRead-only memoryComputer architectureInternet service providerAsynchronous Transfer ModeSet (mathematics)MikroarchitekturOperator (mathematics)Binary codeKernel (computing)Process (computing)Ring (mathematics)MereologyShared memorySoftwareGame controllerCache (computing)PhysicalismVirtual machineSpeicherschutzConnectivity (graph theory)Computer configurationCore dumpProper mapCryptographyRootDifferent (Kate Ryan album)Model theoryAbstractionSemiconductor memoryCoprocessorImplementationRange (statistics)Address spaceContext awarenessIntegrated development environmentProjective planeComputer hardwareOpen setComputing platformInformation securityInterface (computing)Standard deviationOrder (biology)Extension (kinesiology)Open sourceMultiplicationMicrocontrollerLevel (video gaming)FreewareMechanism designSoftware developerCartesian coordinate systemUniform resource locatorWordDependent and independent variablesNP-hardRun time (program lifecycle phase)Graphics processing unitPartition (number theory)Error messageConstructor (object-oriented programming)Arrow of timeFormal verificationINTEGRALSocial classServer (computing)CodeExpert systemMotif (narrative)Physical systemImage resolutionState of matterPosition operatorSoftware frameworkCASE <Informatik>Forcing (mathematics)Service (economics)Latent heatXMLComputer animationProgram flowchart
11:54
Software frameworkBuildingBlock (periodic table)SoftwareFirmwareComputer hardwareMultiplicationComputing platformMicrocontrollerEntire functionExtension (kinesiology)Read-only memoryGame controllerCache (computing)Advanced Encryption StandardLatent heatEncryptionBootingSpeicherschutzReduced instruction set computingCarry (arithmetic)Integrated development environmentReduction of orderDisintegrationFocus (optics)Formal verificationOpen sourceInterface (computing)Binary fileAsynchronous Transfer ModeOpen setRootVideo trackingCryptographyData managementAbstractionModel theoryLevel (video gaming)Formal grammarImplementationFunction (mathematics)Information securityAerodynamicsLibrary (computing)Physical systemSystem callThread (computing)Time zoneCoprocessorSoftware frameworkCartesian coordinate systemOrder (biology)TwitterOpen sourceComputer hardwareProjective planeModeling languageSide channel attackTask (computing)PrototypeElectric generatorSet (mathematics)Medical imagingShared memoryMaxima and minimaThread (computing)Block (periodic table)IP addressModel theoryDifferent (Kate Ryan album)Graphics tabletDampingGroup actionBuildingNumbering schemeDefault (computer science)SoftwareRevision controlCycle (graph theory)Video gameCASE <Informatik>CryptographyLatent heatArithmetic progressionFirmwarePoint (geometry)Semiconductor memoryMereologyCache (computing)Proof theoryFormal verificationRange (statistics)Game controllerInformation securityExtension (kinesiology)ImplementationCoprocessorMultiplicationINTEGRALBinary codeRootEndliche ModelltheorieComputing platformBootingData managementProcess (computing)Level (video gaming)Physical systemComputing platformInterface (computing)Formal grammarRemote procedure callStress (mechanics)Cross-platformComputer architecturePartition (number theory)AuthorizationWebsiteOpen setRoutingMeasurementFunctional (mathematics)Motif (narrative)40 (number)Term (mathematics)WaveComputer animation
18:17
Element (mathematics)Computer animation
Transcript: English(auto-generated)