Reference. Flicker: an execution infrastructure for tcb minimization
Cite
Cited by (1)
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers parno-2014-trust
Cites 32 works (0 here)
External (32)
- How low can you go?: recommendations for hardware-supported minimal TCB code execution (2008)
- Minimal TCB Code Execution (2007)
- Trusted platform module main specification, Part 1: Design principles, Part 2: TPM structures, Part 3 (2007)
- OSLO: improving the security of trusted computing (2007)
- The Intel Safer Computing Initiative: Building Blocks for Trusted Computing (2006)
- Advanced configuration and power interface specification, revision 3.0b (2006)
- The multiboot specification, version 0.6.95 (2006)
- Reducing TCB complexity for security-sensitive applications: three case studies (2006)
- LaGrande technology preliminary architecture specification (2006)
- Splitting interfaces: making trust between applications and operating systems configurable (2006)
- Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems (2005)
- BIND: A Fine-Grained Attestation Service for Secure Distributed Systems (2005)
- AMD64 virtualization: secure virtual machine architecture reference manual (publication 33047 rev. 3.01) (2005)
- Stronger password authentication using browser extensions (2005)
- PC client specific TPM interface specification (TIS), version 1.2 revision 1.00 (2005)
- BOINC: A System for Public-Resource Computing and Storage (2004)
- Privtrans: automatically partitioning programs for privilege separation (2004)
- Design and implementation of a TCG-based integrity measurement architecture (2004)
- Xen and the art of virtualization (2003)
- Terra: a virtual machine-based platform for trusted computing (2003)
- Preventing privilege escalation (2003)
- Certifying program execution with secure processors (2003)
- Privman: a library for partitioning applications (2003)
- SETI@home: an experiment in public-resource computing (2002)
- Secure program partitioning (2002)
- WebALPS implementation and performance analysis (2001)
- Signing electronic contracts (2000)
- Public-key cryptography and password protocols (1999)
- Building a high-performance, programmable secure coprocessor (1999)
- PKCS #1: RSA cryptography specifications (1998)
- The design and implementation of a certifying compiler (1998)
- Using secure coprocessors (1994)