Towards Verified C specification for TPM API Aybek Mukhamedov, Andy Gordon and Mark Ryan Trusted Platform Module

Source URL: www.cs.bham.ac.uk

Towards a Verified Reference Implementation of a Trusted Platform Module Aybek Mukhamedov1,2 , Andrew D. Gordon1 , and Mark Ryan2 1 2

Source URL: www.cs.bham.ac.uk

Trusted Platform Module (TPM) Element Manager

Source URL: netcom.army.mil

Secure Embedded Systems Michael Vai, David J. Whelihan, Benjamin R. Nahill, Daniil M. Utin, Sean R. O’Melia, and Roger I. Khazan Developers seek to seamlessly integrate cyber

Source URL: www.ll.mit.edu

• Computer security
• Cryptography
• Computing
• Security
• Trusted Platform Module
• Data in use
• Embedded system
• Physical unclonable function
• Trusted Computing
• Software
• Operating system
• Key management

ETTM: A Scalable Fault Tolerant Network Manager Colin Dixon Hardeep Uppal Vjekoslav Brajkovic Dane Brandon Thomas Anderson Arvind Krishnamurthy University of Washington Abstract In this paper, we design, implement, and e

Source URL: colindixon.com

• Computing
• Computer security
• Computer networking
• Trusted computing
• Computer network security
• Cyberwarfare
• Data security
• Firewall
• Trusted Execution Technology
• Network address translation
• Trusted Platform Module
• Packet processing

The Trusted Execution Module: Commodity General-Purpose Trusted Computing Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, and Srinivas Devadas MIT Computer Science and Artificial Intelligence Laboratory, Cambridge,

Source URL: people.csail.mit.edu

• Computing
• Software engineering
• Computer security
• Cryptography
• Trusted computing
• Smart cards
• Trusted Platform Module
• Closure
• Variable
• Java Card
• Subroutine
• Trusted Execution Technology

Acer ProShield The Acer ProShield suite of essential security and manageability tools allows you to manage your security applications. Create encrypted personal secure drives and add extra layers of protection to keep yo

Source URL: static.acer.com

• Computer security
• Security
• Prevention
• Computer access control
• Pre-boot authentication
• USB flash drive
• Authentication
• Trusted Platform Module
• Password
• Acer N50
• Disk encryption

Continuous Tamper-proof Logging Using TPM 2.0 Arunesh Sinha1 , Limin Jia1 , Paul England2 , and Jacob R. Lorch2 1 Carnegie Mellon University, Pittsburgh, Pennsylvania, USA

Source URL: www.andrew.cmu.edu

• Cryptography
• Computer security
• Logger
• Data
• Logfile
• Public-key cryptography
• Log analysis
• Trusted computing
• Disk encryption
• Trusted Platform Module

Continuous Tamper-proof Logging using TPM2.0 Paul England, Limin Jia, James Lorch, and Arunesh Sinha July 9, 2013 (Revised June 16, 2014)

Source URL: www.andrew.cmu.edu

• Hashing
• Logger
• Data logger
• Data
• Logfile
• Hash-based message authentication code
• Computer security
• Information science
• Information retrieval
• Cryptography
• Trusted computing
• Trusted Platform Module

cTPM: A Cloud TPM for Cross-Device Trusted Applications Chen Chen† , Himanshu Raj, Stefan Saroiu, and Alec Wolman Microsoft Research and † CMU Current Trusted Platform Modules (TPMs) are illsuited for use in mobile s

Source URL: www.netsec.ethz.ch

• Disk encryption
• Trusted computing
• Trusted Platform Module
• Cryptography
• Windows Vista
• Trusted Computing Group
• BitLocker
• Cloud computing
• Cloud storage
• Trusted Execution Technology