Fetching the paper…
Reading the bibliography…
Application security traditionally strongly relies upon security of the underlying operating system.
Building a high-performance, programmable secure coprocessor
S. W. Smith and S. Weingart · 1999
Earlier work this paper cites.
Architectural Support for Copy and Tamper Resistant Software
D. L. C. Thekkath, M. Mitchell, P. Lincoln, D. Boneh, J. Mitchell, and M. Horowitz · 2000
Earlier work this paper cites.
AEGIS: Architecture for Tamper-evident and Tamper-resistant Processing
G. E. Suh, D. Clarke, B. Gassend, M. van Dijk, and S. Devadas · 2003
Earlier work this paper cites.
The AES-CMAC Algorithm
J. Song, R. Poovendran, J. Lee, and T. Iwata · 2006
Earlier work this paper cites.
Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
R. Ta-Min, L. Litty, and D. Lie · 2006
Earlier work this paper cites.
Overshadow: A Virtualization-based Approach to Retrofitting Protection in Commodity Operating Systems
X. Chen, T. Garfinkel, E. C. Lewis, P. Subrahmanyam, C. A. Waldspurger, D. Boneh, J. Dwoskin, and D. R. Ports · 2008
Earlier work this paper cites.
Flicker: An Execution Infrastructure for Tcb Minimization
J. M. McCune, B. J. Parno, A. Perrig, M. K. Reiter, and H. Isozaki · 2008
Earlier work this paper cites.
Bootstrapping Trust in a "Trusted" Platform
B. Parno · 2008
Earlier work this paper cites.
Towards Application Security on Untrusted Operating Systems
D. R. K. Ports and T. Garfinkel · 2008
Earlier work this paper cites.
Using Hypervisor to Provide Data Secrecy for User Applications on a Per-page Basis
J. Yang and K. G. Shin · 2008
Earlier work this paper cites.
seL4: Formal Verification of an OS Kernel
G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood · 2009
Earlier work this paper cites.
Safe Passage for Passwords and Other Sensitive Data
J. M. M. A. Perrig and M. K. Reiter · 2009
Earlier work this paper cites.
Scalable architectural support for trusted software
D. Champagne and R. B. Lee · 2010
Earlier work this paper cites.
TrustVisor: Efficient TCB Reduction and Attestation
J. M. McCune, Y. Li, N. Qu, Z. Zhou, A. Datta, V. Gligor, and A. Perrig · 2010
Earlier work this paper cites.
SICE: A Hardware-level Strongly Isolated Computing Environment for x86 Multi-core Platforms
A. M. Azab, P. Ning, and X. Zhang · 2011
Earlier work this paper cites.
SecureME: A Hardware-software Approach to Full System Security
S. Chhabra, B. Rogers, Y. Solihin, and M. Prvulovic · 2011
Earlier work this paper cites.
Uni-directional trusted path: Transaction confirmation on just one device
A. Filyanov, J. M. McCune, A. R. Sadeghi, and M. Winandy · 2011
Earlier work this paper cites.
White paper, Intel Corporation (2012)
Intel Trusted Execution Technology · 2012
Earlier work this paper cites.
CARMA: A hardware tamper-resistant isolated execution environment on commodity x86 platforms
A. Vasudevan, J. McCune, J. Newsome, A. Perrig, and L. Van Doorn · 2012
Earlier work this paper cites.
Building Verifiable Trusted Path on Commodity x86 Computers
Z. Zhou, V. D. Gligor, J. Newsome, and J. M. McCune · 2012
Earlier work this paper cites.
Innovative technology for CPU based attestation and sealing
I. Anati, S. Gueron, S. Johnson, and V. Scarlata · 2013
Earlier work this paper cites.
SecureBlue++: CPU Support for Secure Executables
R. Boivie and P. Williams · 2013
Earlier work this paper cites.
Iago Attacks: Why the System Call API is a Bad Untrusted RPC Interface
S. Checkoway and H. Shacham · 2013
Cited alongside, same era.
Using Innovative Instructions to Create Trustworthy Software Solutions
M. Hoekstra, R. Lal, P. Pappachan, V. Phegade, and J. Del Cuvillo · 2013
Cited alongside, same era.
InkTag: Secure Applications on an Untrusted Operating System
O. S. Hofmann, S. Kim, A. M. Dunn, M. Z. Lee, and E. Witchel · 2013
Cited alongside, same era.
Crossover: Secure and Usable User Interface for Mobile Devices with Multiple Isolated OS Personalities
M. Lange and S. Liebergeld · 2013
Cited alongside, same era.
ScreenPass: Secure Password Entry on Touchscreen Devices
D. Liu, E. Cuervo, V. Pistol, R. Scudellari, and L. P. Cox · 2013
Cited alongside, same era.
Innovative instructions and software model for isolated execution
F. McKeen, I. Alexandrovich, A. Berenzon, C. V. Rozas, H. Shafi, V. Shanbhogue, and U. R. Savagaonkar · 2013
Reference no. 325462-056US
Intel 64 and IA-32 Architectures Software Developer’s Manual (Sept. 2015) · 2015
Later among the works it cites.
Reference no. 315168-012
Intel Trusted Execution Technology (Intel TXT), Software Development Guide (July 2015) · 2015
Later among the works it cites.
TrustICE: Hardware-Assisted Isolated Computing Environments on Mobile Devices
H. Sun, K. Sun, Y. Wang, J. Jing, and H. Wang · 2015
Later among the works it cites.
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Y. Xu, W. Cui, and M. Peinado · 2015
Later among the works it cites.
Trusted Display on Untrusted Commodity Platforms
M. Yu, V. D. Gligor, and Z. Zhou · 2015
Later among the works it cites.
TrustZone
ARM · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
seL4: From General Purpose to a Proof of Information Flow Enforcement
T. Murray, D. Matichuk, M. Brassil, P. Gammie, T. Bourke, S. Seefried, C. Lewis, X. Gao, and G. Klein · 2013
Cited alongside, same era.
OASIS: On Achieving a Sanctuary for Integrity and Secrecy on Untrusted Platforms
E. Owusu, J. Guajardo, J. McCune, J. Newsome, A. Perrig, and A. Vasudevan · 2013
Cited alongside, same era.
Guardroid: A trusted path for password entry
T. Tong and D. Evans · 2013
Cited alongside, same era.
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
A. Vasudevan, S. Chaki, L. Jia, J. McCune, J. Newsome, and A. Datta · 2013
Cited alongside, same era.
Shielding Applications from an Untrusted Cloud with Haven
A. Baumann, M. Peinado, and G. Hunt · 2014
Cited alongside, same era.
Virtual Ghost: Protecting Applications from Hostile Operating Systems
J. Criswell, N. Dautenhahn, and V. Adve · 2014
Cited alongside, same era.
Intel has full control over SGX
J. Beekman · 2016
Later among the works it cites.
Intel SGX Explained
V. Costan and S. Devadas · 2016
Later among the works it cites.
Sanctum: Minimal Hardware Extensions for Strong Software Isolation
V. Costan, I. A. Lebedev, and S. Devadas · 2016
Later among the works it cites.
Intel Software Guard Extensions Developer Guide (2016)
2016
Later among the works it cites.
Revision 1.1.1
Intel Software Guard Extensions Evaluation SDK for Windows OS. User’s Guide (Jan. 2016) · 2016
Later among the works it cites.
Lightweight Capability Domains: Towards Decomposing the Linux Kernel
C. Jacobsen, M. Khole, S. Spall, S. Bauer, and A. Burtsev · 2016
Later among the works it cites.
Intel SGX: Debug, Production, Pre-release what’s the difference?
S. Johnson, D. Zimmerman, and B. Derek · 2016
Later among the works it cites.
Intel to enable SGX technology on future Skylake CPUs
S. Knight · 2016
Later among the works it cites.
Intel Insider –What Is It? (Is it DRM? And yes it delivers top quality movies to your PC)
N. Knupffer · 2016
Later among the works it cites.
https://web.nvd.nist.gov/
National Vulnerability Database · 2016
Later among the works it cites.
NICTA (Mar. 2016)
“seL4 Reference Manual, Version 3.0.0” · 2016
Later among the works it cites.
Oblivious Multi-Party Machine Learning on Trusted Processors
O. Ohrimenko, F. Schuster, C. Fournet, A. Mehta, S. Nowozin, K. Vaswani, and M. Costa · 2016
Later among the works it cites.
Approved PIN Transaction Security Devices
PCI Security Standards Council · 2016
Later among the works it cites.
DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks
P. Pessl, D. Gruss, C. Maurice, M. Schwarz, and S. Mangard · 2016
Later among the works it cites.
https://www.visaeurope.com/making-payments/verified-by-visa/
Verified by Visa · 2016
Later among the works it cites.