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

Keystone: towards an open standard for trusted execution environments

00:00

Formal Metadata

Title
Keystone: towards an open standard for trusted execution environments
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
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Keystone is an open framework for building customizable trusted execution environments (TEEs) based on RISC-V for various platforms and use cases. Instead of building a single instance of TEE hardware, Keystone provides security primitives, which can be composed by the software framework. The enclave developer and the platform provider can customize the TEE in order to meet their threat models or platform configurations. The Keystone project aims to build an open standard for TEEs by providing a generic and formally-verified interface for a wide range of devices. We envision that every hardware can have a secure TEE with almost no additional cost. In this talk, we will discuss the current state and future directions of the project.
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
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
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
Element (mathematics)Computer animation
Transcript: English(auto-generated)