Building Verifiable Trusted Path on Commodity x86 Computers

By Zongwei Zhou, Virgil D. Gligor, James Newsome, Jonathan M. McCune. 2012

140 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture, Signal Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Ahmad-Reza Sadeghi
2. V. Varadharajan
3. Petros Maniatis
4. David Lie
5. David E. Evans
6. Thomas Schneider
7. Farinaz Koushanfar

In Hardware and Architecture

1. Ahmad-Reza Sadeghi
2. Petros Maniatis
3. David Lie

In Signal Processing

1. Ahmad-Reza Sadeghi
2. V. Varadharajan
3. Petros Maniatis

Citations in the corpus

• Glimmers: Resolving the Privacy/Trust Quagmire (2017, background): “Although some research proposals on establishing trusted path have been published [21], no pervasive solutions exist.”
• überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor (2016, unknown): “privilege level and has been used to develop a wide variety of security applications [53], [74], [83], [85],”
• TrustLite: a security architecture for tiny embedded devices (2014, background): “Observe that this capability can be applied to a variety of peripherals and usages, enabling trustlets that implement secure user I/O [53] or access cryptographic accelerators.”