Reference. Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Cite
Cites 198 works (1 here)
With notes (1)
Flicker: an execution infrastructure for tcb minimization mccune-2008-flicker
External (197)
- Intel trusted execution technology – measured launched environment developer’s guide (2014)
- Using trustworthy host-based information in the network (2012)
- Bounded Key-Dependent Message Security (2010)
- Non-interactive verifiable computation: Outsourcing computation to untrusted workers (2010)
- TrustVisor: Efficient TCB Reduction and Attestation (2010)
- Fully Homomorphic Encryption over the Integers (2010)
- On the difficulty of software-based attestation of embedded devices (2009)
- Offline dictionary attack on TCG TPM weak authorisation data, and solution (2009)
- A Logic of Secure Systems and its Application to Trusted Computing (2009)
- An end to the middle (2009)
- Fully homomorphic encryption using ideal lattices (2009)
- New processor instructions for accelerating encryption and authentication algorithms (2009)
- Not-a-bot: Improving service availability in the face of botnet attacks (2009)
- Detecting spammers with SNARE: Spatio-temporal network-level automatic reputation engine (2009)
- Probabilistically checkable arguments (2009)
- Remote attestation to dynamic system properties: Towards providing complete system integrity evidence (2009)
- seL4: formal verification of an OS kernel (2009)
- Shake Well Before Use: Intuitive and Secure Pairing of Mobile Devices (2009)
- Reducing the Trusted Computing Base for Applications on Commodity Systems (2009)
- Scalable Web Content Attestation (2009)
- Are PCPs inherent in efficient arguments? (2009)
- Secure pairing of interface constrained devices (2009)
- Lockdown: A safe and practical environment for security applications (2009)
- Trusted network connect (TNC) (2009)
- ARM security technology (2009)
- A fully homomorphic encryption scheme (PhD thesis, Stanford University) (2009)
- TrInc: Small trusted hardware for large distributed systems (2009)
- Safe passage for passwords and other sensitive data (2009)
- Downadup/conflicker worm: When will the next shoe fall? (2009)
- Delegating Computation Reliably: Paradigms and Constructions (2009)
- M-Shield mobile security technology: making wireless secure (2008)
- Incentivizing outsourced computation (2008)
- Overshadow: A virtualization-based approach to retrofitting protection in commodity operating systems (2008)
- Phalanx: Withstanding multimillionnode botnets (2008)
- The case for network witnesses (2008)
- Trustworthy and personalized computing on public kiosks (2008)
- Delegating computation: interactive proofs for muggles (2008)
- Lest we remember: cold-boot attacks on encryption keys (2008)
- Measurements and mitigation of peer-to-peer-based botnets: A case study on storm worm (2008)
- Leveraging legacy code to deploy desktop applications on the web (2008)
- CCA basic services reference and guide for the IBM 4758 PCI and IBM 4764 PCI-X cryptographic coprocessors (2008)
- On the spam campaign trail (2008)
- A Proof of Security of Yao’s Protocol for Two-Party Computation (2008)
- Full volume encryption using Windows BitLocker drive encryption (2008)
- Bootstrapping trust in a “trusted” platform (2008)
- HAPADEP: Human-Assisted Pure Audio Device Pairing (2008)
- Security failures in secure devices (2008)
- TCG mobile trusted module specification (2008)
- Dynamics of a Trusted Platform (2008)
- Overview of the TPM key management standard (2008)
- How low can you go? Recommendations for hardware-supported minimal TCB code execution (2008)
- Code access security (2008)
- A distributed content-independent method for spam detection (2007)
- Attested append-only memory: making adversaries stick to their word (2007)
- An inquiry into the nature and causes of the wealth of internet miscreants (2007)
- Security evaluation of scenarios based on the TCG's TPM specification (2007)
- OSLO: Improving the security of Trusted Computing (2007)
- An overview of content-based spam filtering techniques (2007)
- Minimal TCB Code Execution (2007)
- Turtles all the way down: Research challenges in user-based attestation (2007)
- Portcullis: Protecting connection setup from denial-of-capability attacks (2007)
- Covert Identity Information in Direct Anonymous Attestation (DAA) (2007)
- SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (2007)
- AMD64 architecture programmer’s manual (2007)
- Practical Guide to Trusted Computing (2007)
- Trusted Platform Module Main Specification (2007)
- vTPM: Virtualizing the trusted platform module (2006)
- Linking remote attestation to secure tunnel endpoints (2006)
- Loud and clear: Human-verifiable authentication based on audio (2006)
- GSM mobile phone technology adds another billion connections in just 30 months (2006)
- PRIMA: policy-reduced integrity measurement architecture (2006)
- UMAC: Message authentication code using universal hashing (2006)
- Windows is so slow, but why? (2006)
- Understanding the network-level behavior of spammers (2006)
- TCG inside? A note on TPM specification compliance (2006)
- Secure device pairing based on a visual channel (2006)
- Reducing TCB complexity for security-sensitive applications: Three case studies (2006)
- Splitting interfaces: Making trust between applications and operating systems configurable (2006)
- DDoS defense by offense (2006)
- The Intel Safer Computing Initiative: Building Blocks for Trusted Computing (2006)
- Advanced configuration and power interface specification (2006)
- Apple ships iPods with Windows virus (2006)
- Toward automated information-flow integrity verification for security-critical applications (2006)
- Control-flow integrity (2005)
- Preventing theft of quality of service on open platforms (2005)
- Non-control-data attacks are realistic threats (2005)
- How to Securely Outsource Cryptographic Computations (2005)
- Architecture for protecting critical secrets in microprocessors (2005)
- Trusted Computing (2005)
- Pioneer: Verifying integrity and guaranteeing execution of code on legacy platforms (2005)
- Trusted Computing Platforms: Design and Applications (2005)
- A DoS-limiting network architecture (2005)
- Cache-timing attacks on AES (2005)
- Xen/IA64 code size stats (2005)
- Cache missing for fun and profit (2005)
- Stronger password authentication using browser extensions (2005)
- PC client specific TPM interface specification (TIS) (2005)
- New streaming algorithms for fast detection of superspreaders (2005)
- BOINC: a system for public-resource computing and storage (2004)
- The IBM PCIXCC: A new cryptographic coprocessor for the IBM eServer (2004)
- Web tap: detecting covert web traffic (2004)
- Direct anonymous attestation (2004)
- Privtrans: Automatically partitioning programs for privilege separation (2004)
- Semantic remote attestation: a virtual machine directed approach to trusted computing (2004)
- Finding user/kernel pointer bugs with type inference (2004)
- Open-source applications of TCPA hardware (2004)
- Property-based attestation for computing platforms: caring about properties, not mechanisms (2004)
- Design and implementation of a TCG-based integrity measurement architecture (2004)
- Hardware assisted control flow obfuscation for embedded processors (2004)
- Unprotected PCs can be hijacked in minutes (2004)
- Succinct proofs for NP and spooky interactions (2004)
- The Unabridged Pentium 4 (2004)
- Worldwide PC market to double by 2010 (2004)
- Very fast containment of scanning worms (2004)
- Linux kernel 2.6: It’s worth more! (2004)
- Secure object identification: or: solving the Chess Grandmaster Problem (2003)
- Cryptography and competition policy - issues with “Trusted Computing” (2003)
- Xen 2002 (Technical Report UCAM-CL-TR-553) (2003)
- Xen and the art of virtualization (2003)
- Certifying program execution with secure procesors (2003)
- Cover feature - A trusted open platform (2003)
- New directions in traffic measurement and accounting: Focusing on the elephants, ignoring the mice (2003)
- Terra: a virtual machine-based platform for trusted computing (2003)
- Flexible OS support and applications for Trusted Computing (2003)
- Establishing the genuinity of remote computer systems (2003)
- Privman: A library for partitioning applications (2003)
- Relationships Between Selected Software Measures and Latent Bug-Density: Guidelines for Improving Quality (2003)
- Preventing privilege escalation (2003)
- AEGIS: architecture for tamper-evident and tamper-resistant processing (2003)
- Design, implementation and test of an email virus throttle (2003)
- Trusted Computing Platforms – TCPA Technology in Context (2003)
- SETI@home: an experiment in public-resource computing (2002)
- Talking to strangers: Authentication in ad-hoc wireless networks (2002)
- SOS: secure overlay services (2002)
- Flash the Intel BIOS with confidence (2002)
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (2002)
- Outbound authentication for programmable secure coprocessors (2002)
- Throttling viruses: restricting propagation to defeat malicious mobile code (2002)
- Secure program partitioning (2002)
- Intel low pin count (LPC) interface specification (2002)
- On the (im)possibility of obfuscating programs (2001)
- Building the IBM 4758 Secure Coprocessor (2001)
- Uncheatable distributed computations (2001)
- Securing Web servers against insider attack (2001)
- Access Control for Ad-hoc Collaboration (2001)
- Building the IBM 4758 secure coprocessor (2001)
- WebALPS implementation and performance analysis (2001)
- Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP (2000)
- Secure coprocessor integration with Kerberos V5 (2000)
- Personal secure booting (2000)
- The Click modular router (2000)
- Architectural Support for Copy and Tamper Resistant Software (2000)
- Reflection as a mechanism for software integrity verification (2000)
- The SETI@Home problem (2000)
- SEC 2: Recommended elliptic curve domain parameters (2000)
- Public-key cryptography and password protocols (1999)
- Validating a high-performance, programmable secure coprocessor (1999)
- Building a high-performance, programmable secure coprocessor (1999)
- The resurrecting duckling: Security issues for ad-hoc wireless networks (1999)
- Distributed execution with remote audit (1999)
- PKCS #1: RSA cryptography specifications (1998)
- The design and implementation of a certifying compiler (1998)
- Cryptographic support for secure logs on untrusted machines (1998)
- Trusting trusted hardware: Towards a formal model for programmable secure coprocessors (1998)
- Wide-area Internet traffic patterns and characteristics (1997)
- Tamper resistance – a cautionary note (1995)
- Smart cards in hostile environments (1995)
- Improved efficient arguments (preliminary version) (1995)
- The Stanford FLASH multiprocessor (1994)
- CS proofs (1994)
- Using Secure Coprocessors (1994)
- Distance-bounding protocols (1993)
- Wallet Databases with Observers (1992)
- A note on efficient zero-knowledge proofs and arguments (extended abstract) (1992)
- Identification tokens - or: Solving the chess grandmaster problem (1991)
- A Retrospective on the VAX VMM Security Kernel (1991)
- The digital distributed system security architecture (1989)
- The Knowledge Complexity of Interactive Proof Systems (1989)
- A Comparison of Commercial and Military Computer Security Policies (1987)
- Physical security for the µABYSS system (1987)
- How to generate and exchange secrets (1986)
- Trading group theory for randomness (1985)
- KVM/370 in Retrospect (1984)
- Protocols for secure computations (1982)
- Security kernels: A solution or a problem? (1981)
- Space/time trade-offs in hash coding with allowable errors (1970)
- Zur Elektrodynamik bewegter Körper (1905)
- A secure and reliable bootstrap architecture
- Replay Attack in TCG Specification and Solution
- Strengthening Software Self-Checksumming via Self-Modifying Code
- On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA)
- Seeing-Is-Believing: Using Camera Phones for Human-Verifiable Authentication
- A Certified Digital Signature
- SAM: a flexible and secure auction architecture using trusted hardware
- SWATT: software-based attestation for embedded devices
- BIND: A Fine-Grained Attestation Service for Secure Distributed Systems
- A Generic Attack on Checksumming-Based Software Tamper Resistance