- Home
- People
- Projects
- Practical Security Verification
- Secure Cloud Computing
- Security of AI Systems
- Deep Learning for Security
- Smartphone Security
- Cache Side-Channels and Secure Caches
- De-anonymization
- Running Unvetted Programs
- Secure RISC-V processor
- SP and Bastion Secure Processor Architectures
- Crypto Acceleration
- OpenSPARC Researh
- SecureCore
- Advanced Bit Manipulation
- PAX
- PLX
- Publications
- Research
- Conference and Journals
- Project Archive
- Photos
Filters: author is Lee [Clear All Filters]
2012
"Architectural Support for Hypervisor-Secure Virtualization",
in Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 3–7, 2012.
Abstract
Tagged XML BibTex
"Physical Attack Protection with Human-Secure Virtualization in Data Centers",
Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS), June 25, 2012.
Tagged XML BibTex
"Security Verification of Hardware-enabled Attestation Protocols",
in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), December 2012.
Tagged XML BibTex
2011
"Design of Short Ring Oscillator-Based True Random Number Generator on FPGA Platform",
Princeton University Department of Electrical Engineering Technical Report CE-L2011-006 (updated Dec. 8, 2011), Sept. 20, 2011.
Tagged XML BibTex
"Adaptive and Dynamic Network Provisioning with Network Forensics Devices",
Princeton University Department of Electrical Engineering Technical Report CE-L2011-005, Sept. 15, 2011.
Tagged XML BibTex
"Eliminating the Hypervisor Attack Surface for a More Secure Cloud",
in Proceedings of the Conference on Computer and Communications Security (CCS), Oct. 17-21, 2011.
Abstract
Tagged XML BibTex
"Running Untrusted Applications on Sensitive Data",
Princeton University Department of Electrical Engineering Technical Report CE-L2011-007, Nov. 16, 2011.
Tagged XML BibTex
"Trust but Verify: Trust Evidence for Hypervisor-Secure Virtualization",
Princeton University Department of Electrical Engineering Technical Report CE-L2011-008, Nov. 16, 2011.
Tagged XML BibTex
"Rapid Single-Chip Secure Processor Prototyping on OpenSPARC FPGA Platform",
in Proceedings of the Rapid System Prototyping Symposium (RSP), May 24-27, 2011.
Abstract
Tagged XML BibTex
"A Case for Hardware Protection of Guest VMs from Compromised Hypervisors in Cloud Computing",
in Proceedings of the Second International Workshop on Security and Privacy in Cloud Computing (SPCC), June 20-24, 2011.
Abstract
Tagged XML BibTex
"DataMoat: Architectural Support for Self-Protecting Data",
Princeton University Department of Electrical Engineering Technical Report CE-L2011-002 (updated June 1, 2011), Feb. 10, 2011.
Tagged XML BibTex
"Stability and benefits of suboptimal utility maximization",
IEEE/ACM Transactions on Networking, vol. 19, issue 4, 2011 .
Abstract
Tagged XML BibTex
2010
"Evaluation of OpenSPARC FPGA Platform as a Security and Performance Research Platform",
Princeton University Department of Electrical Engineering Technical Report CE-L2010-002, Sept. 6, 2010.
Tagged XML BibTex
"Butterfly and inverse Butterfly nets integration on Altera NioS-ii embedded processor",
44th IEEE Asilomar Conference on Signal, Systems and Computers, Pacific Grove, California, USA, November 2010.
Tagged XML BibTex
"NoHype: Virtualized cloud infrastructure without the virtualization",
in Proceedings of the International Symposium on Computer Architecture, ISCA, June 19-23 2010.
Abstract
Tagged XML BibTex
"Processor Accelerator for AES",
Proceedings of the 2010 IEEE 8th Symposium on Application Specific Processors, Anaheim, CA, USA, pp. 71-76, June 13-14 2010.
Abstract
Tagged XML BibTex
"General-purpose FPGA Platform for Efficient Encryption and Hashing",
in Proceedings of the Application-specific Systems, Architectures and Processors conference, ASAP, July 7-9, 2010.
Abstract
Tagged XML BibTex
"Scalable Architectural Support for Trusted Software",
The 16th IEEE International Symposium on High-Performance Computer Architecture (HPCA), Bangalore, India, Jan 9-14 2010.
Abstract
Tagged XML BibTex
"A Framework for Testing Hardware-Software Security Architectures",
Annual Computer Security Applications Conference, Austin, Texas USA, December 6 2010.
Abstract
Tagged XML BibTex
Bastion_rl,
, 2010 .
Tagged XML BibTex
"Key management in wireless ad hoc networks",
Theoretical Aspects of Distributed Computing in Sensor Networks, 2010 .
Abstract
Tagged XML BibTex
"Processor-based Tailored Attestation",
Princeton University Department of Electrical Engineering Technical Report CE-L2010-005, Nov 15, 2010., 2010 .
Tagged XML BibTex
2009
"Hardware-Assisted Application-Level Access Control",
Information Security Conference, Pisa, Italy, September 2009.
Abstract
Tagged XML BibTex
"Tuning Instruction Customisation for Reconfigurable System-on-Chip",
Proceedings of the 22nd IEEE International SOC Conference, Sept. 9-11, 2009.
Abstract
Tagged XML BibTex
"Making Security Validation as Easy as Performance Evaluation",
Princeton University Department of Electrical Engineering Technical Report CE-L2009-005, November 2009.
Tagged XML BibTex