This invention relates to a method and related system implementation for increasing the secure space available to a cache-based process such as a software cryptoprocessor.
Many computer systems routinely process sensitive and valuable information. It is important to protect the confidentiality and integrity of computer data from many different security threats. Defending systems from unauthorized physical access and malicious hardware devices is particularly challenging, especially in cloud-computing environments, where users do not have physical control over the hardware which executes their workloads.
U.S. Published Patent Application 2013/0067245, which is hereby incorporated by reference, discloses a software-based cryptoprocessor system that employs cryptographic techniques to provide confidentiality and integrity for an entire system, including both user-mode applications and privileged system software. With this cryptoprocessor, only the main processor is trusted to operate according to its specifications, and other system hardware is considered untrusted and potentially malicious. Data (including code) is available as cleartext only within the processor cache, but remains encrypted in main memory. Techniques such as authenticated, encrypted demand paging can be used to transfer data securely between main memory and the processor cache. As one example, an encryption agent is installed to be resident in the cache, functionally between the main processor and memory, so as to encrypt data/code that is written to memory and to decrypt it before it is passed from memory to the processor. In effect, the cryptoprocessor system treats the processor cache like main memory in a conventional system, and it treats main memory like a conventional backing store on disk or other secondary storage.
It is challenging for a software-based cryptoprocessor system to achieve high performance while providing secure execution. For example, performance can be degraded as a result of increased memory pressure, due to the relatively small amount of cache space serving as “main memory”. For example, while a modern Intel x86 processor contains tens of megabytes of cache memory, typical systems using such processors are configured with tens of gigabytes of RAM used as main memory-roughly a thousand times larger than the cache. If the amount of memory needed by a workload over some time period, known as its “working set”, exceeds the cache size, this can result in significant overhead, due to encrypted paging of data between the small trusted memory (cache) and the large untrusted backing store (RAM). A substantial fraction of this overhead may be incurred by the cryptographic operations that must be performed during each transfer of data. In other words, the general goal of a cache is to increase execution speed, but the space in the cache-regardless of how many levels it includes-will almost always be much smaller that the address space of the memory that ne may wish to be able to cache; however, the time it takes to swap lines between the cache and memory may therefore partially or totally negate the speed advantage the cache is intended to provide.
Broadly, embodiments of the invention are described below that employ cache-partitioning techniques, together with secure processor enclaves, to provide a large, secure backing store, which is especially useful in a software-based cryptoprocessor system. Cache partitioning may thereby prevent cache lines containing enclave data from evicting other non-enclave cache lines. The embodiments are described and illustrated in the context of a software cryptoprocessor, but may be employed to improve the performance of any process that is to execute securely from within a CPU cache but needs or would benefit from more space than the cache is architected to provide. Before getting into the details of embodiments of the invention, it is therefore helpful to keep in mind certain features of a software cryptoprocessor, as well as “enclaves”.
Software Crytoprocessor
In
In the context not only of the software cryptoprocessor in general, but also of this invention, a particularly relevant component is a cache 5000, which is generally part of the CPU 1000 itself, although there are also some proposals to architect off-CPU processor caches as well. The general structure and properties of a cache are well-understood in the field of computer science and will therefore not be described further here except as needed to further understanding of the different embodiments of the invention.
An agent 5100, which is a software component within the system software 2000, which resides in the cache 5000 at run time, and which defines the essential aspect of the cache-based, software cryptoprocessor, includes an encryption/decryption module 5110. Depending on the implementation, the system software 2000 may include a cache management module 2100 that also performs various cache-related tasks; in these cases, it is possible for the agent 5100 to be either identical to or a sub-component of such a cache management module 2100. The agent 5100 may be included either as a dedicated component in the system software, or be incorporated into any other appropriate system software component. In another embodiment, the agent 5100 may be an independent component resident in the cache, in which case the cache management module 2100 may not be necessary and the OS/hypervisor may be an unmodified system software layer.
As is illustrated by the dashed line, instructions and data passing between the cache and at least some portions of the memory system can be made visible to and be intercepted by the agent 5100. Whenever this information (data and/or instructions) is transmitted from the CPU, in particular from the core 1100 or some other internal CPU component, this transmission is intercepted by the agent 5100 and is encrypted by the agent module 5110 before it is returned outside of the logical boundaries of the CPU 1000, in particular, to system memory 7000. Instructions and data inbound to the CPU core or internal components are then decrypted by the agent 5110 before they are submitted for processing. Additions to the basic cryptoprocessor implementation allow for whole or selective encryption/decryption of information passing between the CPU and other sub-systems, such as one or more device memories 6710 and the storage device(s) 6100.
Different processor architectures will have different cache structures and some have more than one. Caches often have different levels. In x86 systems, for example, there are levels L1-L3, with L3 (last-level cache) being the largest. The L3 cache at least partially includes the lower level L1 and L2 caches such that when a lower level cache experiences a miss, it will read through the next level cache, not directly from memory.
Enclaves
Recent extensions to computer processors, such as the Intel Software Guard Extensions (SGX) for the x86 processor architecture, provide hardware support for secure application execution. Such extensions allow a user-mode application to create a protected region, known as an “enclave”, within the application's address space. The hardware provides confidentiality and integrity for an enclave, even from privileged malware and physical attacks on memory, through cryptography and hardware isolation of memory. In other words, SGX comprises a set of instructions and memory access changes to the Intel architecture that allow a process to create a protected region of its address space, known as an “enclave”, which provides hardware-enforced confidentiality and integrity protection for data and code against potentially-malicious privileged code or hardware attacks such as memory probes.
The concept of an “enclave” involves both the memory and the hardware processor itself. In practice, to implement one or more enclaves, the CPU 110 is configured by the manufacturer to enable selection of one or more portions of memory and to transparently encrypt and verify its/their contents as it/they get/s pulled into the CPU cache for execution and access. Thus, the active component of an enclave will reside within the CPU, although its contents may, when not active, reside within the selected portion of memory. Any reference here to an enclave being “in” any given memory is therefore merely for the sake of simplicity and this operation of an enclave may be assumed.
Some hardware implementations of processor security extensions limit protection to user-mode applications, and do not allow protected enclave memory to be shared across multiple address spaces. As a result, such hardware does not support the secure execution of privileged system software, such as an operating system, hypervisor, or kernel-mode software cryptoprocessor components. Moreover, practical hardware implementations may impose other limits, such as a maximum size for a single enclave, or a limit on the total amount of protected physical memory aggregated across all enclaves.
Uncontrolled cache conflicts represent an even more significant problem, since they can result in violations of confidentiality and integrity. The caching of enclave memory is typically managed by hardware that transfers data between the cache and main memory securely, such as by encrypting cache line data on evictions, and decrypting cache line data on fills. Since the hardware may protect enclave cache lines cryptographically, a software cryptoprocessor would not need to do anything to protect cached enclave memory. In contrast, the hardware does not provide any such cryptographic protection for cached non-enclave memory, so the software cryptoprocessor must ensure that non-enclave memory is never evicted from the cache, except under its explicit control. Unfortunately, the ordinary caching of enclave memory may cause evictions of non-enclave memory, including cache-resident cleartext data managed by the software cryptoprocessor system. As a result, new methods are required to enable the secure use of processor enclaves within a software cryptoprocessor.
Embodiments of this invention utilize processor security extensions such as enclaves to both harden and accelerate a software cryptoprocessor system. This makes it possible to protect the entire software stack, including both applications and system software, assisted by efficient hardware support that offers strong guarantees regarding memory confidentiality and integrity.
As
In other words, the architected security features of the enclave 1500 ensure the security of information stored within the cache's 5000 enclave partition 5000-E, but the software cryptoprocessor, as illustrated in
Partitioning may be implemented using known software techniques, such as page coloring (see, for example, Edouard Bugnion, Jennifer M. Anderson, Todd C. Mowry, Mendel Rosenblum, and Monica S. Lam, 1996, “Compiler-directed page coloring for multiprocessors”, Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VII), ACM, New York, N.Y., USA, pp. 244-255 (“Bugnion”); and Xiao Zhang, Sandhya Dwarkadas, and Kai Shen, 2009, “Towards practical page coloring-based multicore cache management”,Proceedings of the 4th ACM European Conference on Computer Systems (EuroSys '09), ACM, New York, N.Y., USA, pp. 89-102 (“Zhang”)) or other software-based methods capable of partitioning memory units into non-conflicting sets. Alternatively, cache partitioning may be implemented using hardware techniques, such as proposed processor support for “way partitioning” or other cache quality-of-service (CQoS) features as described in, for example, Ravi Iyer. 2004. CQoS: A framework for enabling QoS in shared caches of CMP platforms. In Proceedings of the 18th Annual International Conference on Supercomputing (ICS '04). ACM, New York, N.Y., USA, 257-266 (“Iyer”). On such processors, system software controls the allocation and partitioning of cache space between the main partition and the enclave partition.
A large backing store may be provided by aggregating virtual address space regions associated with one or more enclaves. Different enclaves may reside in separate processes with distinct virtual address spaces. System software is thereby modified to manage and demand-page enclave memory securely, for example, using the Intel SGX EWB and ELD extensions to the x86 instruction set (see McKeen).
In one implementation, the system may expose the secure backing store using a standard block device interface, addressed by a block number. The system translates the block number to its corresponding enclave and an offset within the enclave address space. A portion of non-enclave cache-resident physical memory is mapped into the enclave address space, providing a shared area that can be used for copying data into and out of the enclave during block I/O operations. To perform a block read, its associated data must be resident in protected enclave memory, possibly requiring a secure page-in operation, which may be carried out, for example, using the Intel SGX ELD instruction. The block data may then be copied from the enclave 1500 into non-enclave, cache-resident memory in the main partition 5000-M. To perform a block write, its associated data must be copied from the main partition 5000-M into the enclave address space 5000-E. If the corresponding page is not already resident in the protected enclave memory, it must first be paged in securely, for example, using the Intel SGX ELD instruction. Due to contention for limited resident enclave space, allocating space for this page-in may induce reclamation of other resident enclave pages via secure page-out operations, for example, using the Intel SGX EWB instruction.
A software cryptoprocessor system may thus create secure processor enclaves to implement a large, secure backing store. The system preferably attests each enclave that it creates before trusting it to provide secure backing store, for example, by performing the typical Intel SGX enclave attestation process. See, for example, McKeen as well as lttai Anati, et al., “Innovative Technology for CPU Based Attestation and Sealing”, Proceedings of the Second International Workshop on Hardware and Architectural Support for Security and Privacy (HASP '13), Tel-Aviv, Israel, June 2013 (“Anati”). Cache partitioning as disclosed herein thus isolates cache-resident enclave memory from cache-resident non-enclave memory, so that contention for cache lines due to enclave memory accesses cannot cause non-enclave cache lines to be evicted.
The system provides the abstraction of a large, secure backing store by aggregating the virtual address space regions associated with one or more enclaves. (Only one enclave is shown in the figures only for the sake of simplicity.) In some implementations, the hardware may limit the maximum size of a single enclave. When necessary, multiple enclaves may then be instantiated to avoid this limitation. For example, with a 256 MB maximum enclave size, it is not possible to create a single large 1 GB enclave, but four smaller 256 MB enclaves (or other configurations, such as sixteen 64 MB enclaves) can be created instead.
In some embodiments, all of the memory associated with an enclave may be populated and verified prior to launching it. For example, Intel SGX may require issuing an EADD instruction for each page that will be used in the enclave address space, prior to launching the enclave with the EINIT instruction. Once an enclave has been initialized, most of its associated memory, including meta-data, may then be securely paged out to unprotected RAM, such as by using the Intel SGX EWB instruction. A small number of pages must usually remain resident for each enclave, however, including an anchor page serving as the root for enclave address translations and version meta-data, as well as additional per-thread (TCS) and per-enclave (SECS) meta-data pages. This fixed overhead ultimately limits the maximum number of enclaves that can be supported by a given amount of protected physical RAM.
In one embodiment, the processor supports hardware cache partitioning via way partitioning. System software may therefore specify a “way mask” for the current-executing context, for example, by writing a special hardware register or memory location on each context switch. The way mask indicates the subset of set-associative cache “ways” that may be allocated by the currently-executing context. By using disjoint way masks, different portions of each cache set can be allocated to different contexts.
As one example, the software-based cryptoprocessor system can use two disjoint way masks—one for the “enclave partition” 5000-E, and another for the “main partition” 5000-M. For example, for a 20-way set-associative cache, the main partition may use ways 0-15, and the enclave may use ways 16-19. The way mask may then be set to specify the enclave partition 5000-E on enclave entry, and set to specify the main partition 5000-M on enclave exit. This ensures that any cache conflicts caused by accessing lines of enclave memory will evict only other lines also associated with enclave memory, without displacing any cache lines from the main partition.
In another implementation, such as one in which the processor does not provide hardware support, cache partitioning may be performed entirely in software. Software cache partitioning may thereby use techniques such as page coloring or any other known software-based methods capable of partitioning memory units into non-conflicting sets.
Unfortunately, purely software-based partitioning approaches limit the fraction of main memory that can back the enclave partition. For example, in a system with 32 page colors, where the enclave partition consumes N colors, enclave virtual pages may be mapped to only a fraction f=N/32 of physical memory pages. In a practical software cryptoprocessor implementation, N is likely to be a small number, such as 1, in order to devote as much scarce cache space as possible to the main partition, which holds cleartext data for active computations. For a system configured with 64 GB RAM, this would constrain the aggregate amount of secure backing store to only 2 GB.
In some embodiments, all enclave pages and associated data structures, such as enclave meta-data, is stored in a contiguous region of protected physical memory. For example, in an x86 system that supports Intel SGX, the BIOS reserves a contiguous range of physical memory, known as Processor Reserved Memory (PRM), which contains the Enclave Page Cache (EPC) and other SGX data structures (see McKeen). The size of the PRM constrains the total amount of protected memory that can be cached in the enclave partition. In addition, the cache indexing function used by the processor may further constrain the usable cache partition size. Such constraints may reduce the effectiveness of software-based partitioning methods. However, note that at different points in time, a single page of physical memory in the EPC may store the contents of different enclave virtual pages, as pages are securely swapped in and out of enclave memory, for example, using the Intel SGX ELD and EWB instructions.
In some hardware implementations of secure processor extensions, the latency of entering or exiting an enclave may be significant. The organization and operation of the software cryptoprocessor may thereby reflect such costs and associated tradeoffs. For example, consider an x86 processor supporting Intel SGX, with particularly high EENTER and EEXIT costs. In such cases, it may be advantageous to dedicate one or more cores (or hyperthreads) to run code within the enclaves implementing the secure backing store, actively polling for incoming block read and write operations, in order to avoid expensive enclave entry and exit costs.
As with other software, the agent 5100 and, thus, the software cryptoprocessor, comprises a body of processor-executable code that will normally be embodied in a non-volatile, non-transitory storage medium before being loaded into the memory and then the cache for execution to perform the various functions described. In the various embodiments, the agent 5100, modified to carry out the partitioning techniques and coordination of the use of the partitions as disclosed, is a software module implemented with a computer program product comprising a computer-readable medium containing computer program code, which can be executed by the CPU 1000 for performing any or all of the steps, operations, or processes described.
This application claims priority of U.S. Provisional Patent Application No. 61/885,477, filed 1 Oct. 2013.
Number | Name | Date | Kind |
---|---|---|---|
5875472 | Bauman et al. | Feb 1999 | A |
6026475 | Woodman | Feb 2000 | A |
6044478 | Green | Mar 2000 | A |
6129458 | Waters | Oct 2000 | A |
6223256 | Gaither et al. | Apr 2001 | B1 |
6389442 | Yin et al. | May 2002 | B1 |
6697927 | Bonola et al. | Feb 2004 | B2 |
6957304 | Wilkerson et al. | Oct 2005 | B2 |
6970960 | Sarfati et al. | Nov 2005 | B1 |
7266661 | Walmsley et al. | Sep 2007 | B2 |
7434000 | Barreh et al. | Oct 2008 | B1 |
7577851 | Inamura et al. | Aug 2009 | B2 |
7657756 | Hall et al. | Feb 2010 | B2 |
7671864 | Román et al. | Mar 2010 | B2 |
7774622 | Mitra et al. | Aug 2010 | B2 |
8037250 | Barreh et al. | Oct 2011 | B1 |
8135962 | Strongin et al. | Mar 2012 | B2 |
8266676 | Hardjono et al. | Sep 2012 | B2 |
8352718 | Rao et al. | Jan 2013 | B1 |
8549288 | Bade et al. | Oct 2013 | B2 |
8615665 | Fitton et al. | Dec 2013 | B2 |
8726364 | Smith et al. | May 2014 | B2 |
8738932 | Lee et al. | May 2014 | B2 |
8782433 | Kaabouch et al. | Jul 2014 | B2 |
8812796 | Gray et al. | Aug 2014 | B2 |
8886959 | Tamiya et al. | Nov 2014 | B2 |
8904477 | Walker et al. | Dec 2014 | B2 |
8924743 | Wolfe et al. | Dec 2014 | B2 |
8949797 | Christodorescu et al. | Feb 2015 | B2 |
8990582 | McGrew et al. | Mar 2015 | B2 |
9164924 | Horowitz et al. | Oct 2015 | B2 |
9361449 | Sugano | Jun 2016 | B2 |
9477603 | Waldspurger et al. | Oct 2016 | B2 |
9639482 | Weis et al. | May 2017 | B2 |
9734092 | Weis et al. | Aug 2017 | B2 |
9747450 | Horovitz et al. | Aug 2017 | B2 |
20020004860 | Roman et al. | Jan 2002 | A1 |
20020116584 | Wilkerson et al. | Aug 2002 | A1 |
20020116595 | Morton et al. | Aug 2002 | A1 |
20020138700 | Holmberg et al. | Sep 2002 | A1 |
20030033480 | Jeremiassen et al. | Feb 2003 | A1 |
20030065892 | Bonola et al. | Apr 2003 | A1 |
20030135742 | Evans | Jul 2003 | A1 |
20030188178 | Strongin et al. | Oct 2003 | A1 |
20030236947 | Yamazaki et al. | Dec 2003 | A1 |
20040111639 | Schwartz et al. | Jun 2004 | A1 |
20040139346 | Watt | Jul 2004 | A1 |
20060015748 | Goto et al. | Jan 2006 | A1 |
20060020941 | Inamura et al. | Jan 2006 | A1 |
20060080553 | Hall et al. | Apr 2006 | A1 |
20060143396 | Cabot | Jun 2006 | A1 |
20060179228 | Thompson | Aug 2006 | A1 |
20070239938 | Pong et al. | Oct 2007 | A1 |
20070288228 | Taillefer et al. | Dec 2007 | A1 |
20080010413 | Kailas et al. | Jan 2008 | A1 |
20080022160 | Chakraborty et al. | Jan 2008 | A1 |
20080109660 | Mitra et al. | May 2008 | A1 |
20080229118 | Kasako et al. | Sep 2008 | A1 |
20080235804 | Bade et al. | Sep 2008 | A1 |
20090094601 | Vstovskiy | Apr 2009 | A1 |
20090254895 | Chen et al. | Oct 2009 | A1 |
20090328195 | Smith et al. | Dec 2009 | A1 |
20100005300 | Klotsche et al. | Jan 2010 | A1 |
20100062844 | Crowder, Jr. et al. | Mar 2010 | A1 |
20100064144 | Kaabouch et al. | Mar 2010 | A1 |
20100115620 | Alme et al. | May 2010 | A1 |
20100268692 | Resch et al. | Oct 2010 | A1 |
20100281223 | Wolfe | Nov 2010 | A1 |
20100281273 | Lee et al. | Nov 2010 | A1 |
20100287385 | Conte et al. | Nov 2010 | A1 |
20110022818 | Kegel et al. | Jan 2011 | A1 |
20110040940 | Wells | Feb 2011 | A1 |
20110047362 | Eichenberger et al. | Feb 2011 | A1 |
20110113260 | Ma et al. | May 2011 | A1 |
20110167278 | Goto et al. | Jul 2011 | A1 |
20110258610 | Aaraj et al. | Oct 2011 | A1 |
20110314468 | Zhou et al. | Dec 2011 | A1 |
20120124296 | Bryant et al. | May 2012 | A1 |
20120317569 | Payne, Jr. | Dec 2012 | A1 |
20130067245 | Horovitz et al. | Mar 2013 | A1 |
20130090091 | Weng et al. | Apr 2013 | A1 |
20130125244 | Sugano et al. | May 2013 | A1 |
20130159726 | McKeen et al. | Jun 2013 | A1 |
20130191601 | Peterson | Jul 2013 | A1 |
20130191651 | Muff | Jul 2013 | A1 |
20130254494 | Oxford et al. | Sep 2013 | A1 |
20130263121 | Franke et al. | Oct 2013 | A1 |
20140006711 | Jan 2014 | A1 | |
20140007087 | Scott-Nash | Jan 2014 | A1 |
20140108649 | Barton et al. | Apr 2014 | A1 |
20140173275 | Johnson | Jun 2014 | A1 |
20140201452 | Meredith et al. | Jul 2014 | A1 |
20150067265 | Weis et al. | Mar 2015 | A1 |
20150089152 | Busaba | Mar 2015 | A1 |
20150089153 | Busaba | Mar 2015 | A1 |
20150089154 | Busaba | Mar 2015 | A1 |
20150089155 | Busaba | Mar 2015 | A1 |
20150089159 | Busaba | Mar 2015 | A1 |
20150089502 | Weis et al. | Mar 2015 | A1 |
20150134932 | Mcnairy | May 2015 | A1 |
20150149732 | Kiperberg et al. | May 2015 | A1 |
20150186295 | Long et al. | Jul 2015 | A1 |
20150227744 | Horowitz et al. | Aug 2015 | A1 |
20150269091 | Horowitz et al. | Sep 2015 | A1 |
20150378731 | Lai | Dec 2015 | A1 |
20160224475 | Horovitz et al. | Aug 2016 | A1 |
20170206167 | Waldspurger et al. | Jul 2017 | A1 |
Entry |
---|
Notice of Allowance dated Jun. 27, 2016, for U.S. Appl. No. 14/479,239 of Waldspurger, C. et al., filed Sep. 5, 2014. |
Non-Final Office Action dated Jul. 28, 2016, for U.S. Appl. No. 14/497,111 of Horovitz, O. et al., filed Sep. 25, 2014. |
Non-Final Office Action dated Jul. 27, 2016, for U.S. Appl. No. 14/663,217 of Horovitz, O. et al., filed Mar. 19, 2015. |
First Office Action dated Aug. 2, 2016, for Japanese Patent Application No. 2014-530797, 7 pages. |
Deayton, Peter et al., “Set Utilization Based Dynamic Shared Cache Partitioning”, Parallel and Distributed Systems (ICPADS), 2011 IEEE 17th International Conference, Dec. 7-9, 2011, pp. 284-291. |
Li, Zhiyuan , “Reducing Cache Conflicts by Partitioning and Privatizing Shared Arrays”, Parallel Architectures and Compilation Techniques Proceedings, International Conference on 1999, 1999, pp. 183-190. |
Rajimwale, Abhishek et al., “Coerced Cache Eviction and Discreet Mode Journaling: Dealing with Misbehaving Disks”, IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), Jun. 27-30, 2011, pp. 518-529. |
“Intel 64 and IA-32 Architectures Software Developer's Manual, vol. 3 (3A, 3B & 3C): System Programming Guide,” Intel Corporation, Dec. 2015, pp. 1-1698. [Part 1]. |
“Intel 64 and IA-32 Architectures Software Developer's Manual, vol. 3 (3A, 3B & 3C): System Programming Guide,” Intel Corporation, Dec. 2015, pp. 1-1698. [Part 2]. |
“Intel 64 and IA-32 Architectures Software Developer's Manual, vol. 3 (3A, 3B & 3C): System Programming Guide,” Intel Corporation, Dec. 2015, pp. 1-1698. [Part 3]. |
“Intel 64 and IA-32 Architectures Software Developer's Manual, vol. 3 (3A, 3B & 3C): System Programming Guide,” Intel Corporation, Dec. 2015, pp. 1-1698. [Part 4]. |
“Intel 64 and IA-32 Architectures Software Developer's Manual, vol. 3 (3A, 3B & 3C): System Programming Guide,” Intel Corporation, Dec. 2015, pp. 1-1698. [Part 5]. |
“Intel 64 and IA-32 Architectures Software Developer's Manual, vol. 3 (3A, 3B & 3C): System Programming Guide,” Intel Corporation, Dec. 2015, pp. 1-1698. [Part 6]. |
“Intel 64 and IA-32 Architectures Software Developer's Manual, vol. 3 (3A, 3B & 3C): System Programming Guide,” Intel Corporation, Dec. 2015, pp. 1-1698. [Part 7]. |
Trusted Computing Group, [retrieved on Nov. 12, 2015], Retrieved from the internet: <http://www.trustedcomputinggroup.org>, 2015, 1 page. |
Cache management via page coloring, Wikipedia, [retrieved on Nov. 12, 2015], Retrieved from the Internet: <http://en.Wikipedia.org/wiki/cache_coloring>, Nov. 6, 2015, 2 pages. |
Hardware security module, Wikipedia, [retrieved on Nov. 12, 2015], Retrieved from the Internet: <http://en.wikipedia.org/wiki/hardware_security_module>, Oct. 21, 2015, 5 pages. |
Intel® Trusted Execution Technology (Intel® TXT), Software Development Guide, Measured Launch Environment Developer's Guide, Revision 012, Document: 315168-012, [retrieved on Nov. 12, 2015], Retrieved from the internet: <http://download.Intel.com/technology/security/downloads/315168.pdf>, Jul. 2015, pp. 1-169. |
Anati Ittai, et al., “Innovative Technology for CPU Based Attestation and Sealing”, Proceedings of the Second International Workshop on Hardware and Architectural Support for Security and Privacy (HASP '13), Jun. 2013, pp. 1-7. |
Baumann, A., et al., “Shielding Applications from an Untrusted Cloud wth Haven,” Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, Oct. 6-8, 2014, pp. 267-283. |
Bellard, F., “QEMU, a fast and portable dynamic translator”, Proceedings of the USE NIX 2005 Annual Technical Conference, FREEN/X Track, Apr. 2005, pp. 41-46. |
Bochs, “The Cross-Platform IA-32 Emulator” [retrieved on Aug. 26, 2015] Retrieved from the Internet: <http://bochs.sourceforge.net/>, May 3, 2015, 2 pages. |
Bugnion, E. et al., “Compiler-directed page coloring for multiprocessors”, Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VII), ACM, Oct. 1996, 12 pages. |
Chen, X. et al., “Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems”, Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), ACM, Mar. 1-5, 2008, pp. 2-13. |
Chen, X., et al., “Operating System Controlled Processor-Memory Bus Encryption”, in Proceedings of Design, Automation and Test in Europe, 2008, (DATE'08), IEEE, pp. 1154-1159. |
Iyer, Ravi, “COoS: A Framework for Enabling OoS in Shared Caches of CMP Platforms,” In Proceedings of the 18th Annual International Conference on Supercomputing (ICS '04), ACM, Jun. 26-Jul. 1, 2004, pp. 257-266. |
McKeen, F., et al., “Innovative Instructions and Software Model for Isolated Execution”, Proceedings of the Second International Workshop on Hardware and Architectural Support for Security and Privacy (HASP '13), ACM, Jun. 2013, pp. 1-8. |
Muller, T. et al., “TRESOR Runs Encryption Securely Outside RAM”, in Proceedings of the 20th USENIX Security Symposium [retrieved Nov. 12, 2015] Retrieved from the Internet: <http://www.usenix.org/events/sec11/tech/full_papers/muller.pdf>, Aug. 2011, pp. 1-16. |
Peterson, Peter A.H., “Cryptkeeper: Improving Security with Encrypted RAM”, in IEEE International Conference on Technologies for Homeland Security (HST 2010), Nov. 2010, pp. 1-7. |
Ports, Dan R.K. et al., “Towards application security on untrusted operating systems”, Proceedings of the Third Conference on Hot Topics in Security (HOTSEC '08), Jul. 2008, 7 pages. |
Rosenblum, M., et al., “Using the SimOS machine simulator to study complex computer systems”, ACM Transactions on Modeling and Computer Simulation, vol. 7, Issue 1, Jan. 1997, pp. 78-103. |
Vasudevan, A., et al. “CARMA: A Hardware Tamper-Resistant Isolated Execution Environment on Commodity x86 Platforms”, in Proceedings of the ACM Symposium on Information,Computer and Communications Security (ASIACCS 2012), May 2012, 5 pages. |
Zhang, X. et al. 2009, “Towards practical page coloring-based multicore cache management”, Proceedings of the 4th ACM European Conference on Computer Systems (EuroSys '09), ACM, Apr. 1-3, 2009, pp. 89-102. |
Advisory Action dated Aug. 19, 2014, for U.S. Appl. No. 13/614,935 of Horovitz, O. et al., filed Sep. 13, 2015. |
Extended European Search Report dated Aug. 5, 2015, for European Patent Application No. 12831564.5, 7 pages. |
Final Office Action dated Jun. 5, 2014, for U.S. Appl. No. 13/614,935 of Horovitz, O., filed Sep. 13, 2012. |
International Search Report and Written Opinion of International Application No. PCT/US12/55210, dated Jan. 25, 2013, 11 pages. |
Non-Final Office Action dated Feb. 19, 2015, for U.S. Appl. No. 13/614,935 of Horovitz, O., filed Sep. 13, 2012. |
Non-Final Office Action dated Nov. 18, 2013, for U.S. Appl. No. 13/614,935 of Horovitz, O., filed Sep. 13, 2012. |
Notice of Allowance dated Jul. 15, 2015, for U.S. Appl. No. 13/614,935 of Horovitz, O., filed Sep. 13, 2012. |
Restriction Requirement dated Aug. 27, 2013, for U.S. Appl. No. 13/614,935 of Horovitz, O. et al., filed Sep. 13, 2015. |
U.S. Appl. No. 13/614,935, of Horovitz, O., et al. filed Sep. 13, 2012. |
U.S. Appl. No. 14/479,239 of Horovitz, O. et al., filed Aug. 5, 2014. |
U.S. Appl. No. 14/497,111 of Horovitz, O. et al., filed Sep. 25, 2014. |
U.S. Appl. No. 14/618,099 of Horovitz, O. et al., filed Feb. 10, 2015. |
U.S. Appl. No. 14/663,217 of Horovitz, O. et al., filed Mar. 19, 2015. |
U.S. Appl. No. 14/820,428 of Horovitz, O. et al., filed Aug. 6, 2015. |
Non-Final Office Action dated Nov. 15, 2016, for U.S. Appl. No. 14/618,099 of Horovitz, O. et al., filed Feb. 10, 2015. |
Non-Final Office Action dated Oct. 6, 2016, U.S. Appl. No. 14/820,428 of Horovitz, O. filed Aug. 6, 2015. |
U.S. Appl. No. 15/274,981 of Waldspurger, C., et al., filed Sep. 23, 2016. |
Final Office Action dated Dec. 27, 2016, for U.S. Appl. No. 14/497,111 of Horovitz, O. et al., filed Sep. 25, 2014. |
Final Office Action dated Jan. 13, 2017, for U.S. Appl. No. 14/663,217 of Horovitz, O. et al., filed Mar. 19, 2015. |
Second Office Action dated Dec. 6, 2016 for Japanese Patent Application No. 2014-530797, 4 pages. |
Notice of Allowance dated Jan. 25, 2017 for U.S. Appl. No. 14/820,428 of Horovitz, O. et al., filed Aug. 6, 2015. |
Notice of Allowance dated Jun. 15, 2017 of U.S. Appl. No. 14/663,217 by Horovitz, O., et al., filed Mar. 19, 2015. |
Non-Final Office Action dated May 26, 2017, for U.S. Appl. No. 14/497,111 of Horovitz, O. et al., filed Sep. 25, 2014. |
Notice of Allowance dated May 4, 2017, for U.S. Appl. No. 14/618,099 of Horovitz, O. et al., filed Feb. 10, 2015. |
Final Office Action dated Nov. 15, 2017, for U.S. Appl. No. 14/497,111 of Horovitz, O. et al., filed Sep. 25, 2014. |
Number | Date | Country | |
---|---|---|---|
61885477 | Oct 2013 | US |