2014 · 440 citations · 16 references
ComputingComputer ScienceInformation SystemsComputer SecurityInformation Security ManagementWeb SecurityAccess ControlAuthorizationData SecuritySecurity ControlsSoftware Security EngineeringWeb Application SecurityAuthorization BypassAuthorization PoliciesBusiness Logic VulnerabilitiesControl-flow IntegrityMonitorsRun-time MonitoringRuntime Policy EnforcementSecurity Enforcement
We describe the architecture for a single-chip AEGIS processor which can be used to build computing systems secure against both physical and software attacks. Our architecture assumes that all components external to the processor, such as memory, are untrusted. We show two different implementations. In the first case, the core functionality of the operating system is trusted and implemented in a security kernel. We also describe a variant implementation assuming an untrusted operating system. AEGIS provides users with tamper-evident, authenticated environments in which any physical or software tampering by an adversary is guaranteed to be detected, and private and authenticated tamper-resistant environments where additionally the adversary is unable to obtain any information about software or data by tampering with, or otherwise observing, system operation. AEGIS enables many applications, such as commercial grid computing, secure mobile agents, software licensing, and digital rights management.Preliminary simulation results indicate that the overhead of security mechanisms in AEGIS is reasonable.
16
New directions in cryptography
Whitfield Diffie, Martin E. Hellman · IEEE Transactions on Information Theory · 1976 · 14.4K citations
The SimpleScalar tool set, version 2.0
Doug Burger, Todd Austin · ACM SIGARCH Computer Architecture News · 1997 · 3.1K citations · Full text
Silicon physical random functions
Blaise Gassend, Dwaine Clarke, Marten van Dijk et al. · 2002 · 1.6K citations
Engineering, Computer Engineering, Electrical Engineering +17
Software protection and simulation on oblivious RAMs
Oded Goldreich, Rafail Ostrovsky · Journal of the ACM · 1996 · 1.6K citations · Full text