- 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
W
"Workload Characterization of Elliptic Curve Cryptography and other Network Security Algorithms for Constrained Environments",
Proceedings of the 5th IEEE Annual Workshop on Workload Characterization (WWC-5), Austin, Texas, USA, pp. 127-137, Nov. 2002.
Tagged XML BibTex
V
"Virtualization of a Processor-based Crypto-Protection Mechanism and Integration within a Separation Kernel Architecture",
Princeton University Department of Electrical Engineering Technical Report CE-L2006-006, November 2006.
Tagged XML BibTex
"Validating Word-oriented Processors for Bit and Multi-Word Operations",
Proceedings of the Asia-Pacific Computer Systems Architecture Conference (ACSAC 2004), Beijing, China, pp. 473-488, Sept. 2004.
Tagged XML BibTex
U
"Using Moving Target Defense for Secure Hardware Design",
Princeton University Department of Electrical Engineering Technical Report CE-L2016-002, 2016 .
Tagged XML BibTex
"Usage Management in Cloud Computing",
in Proceedings of the International Conference on Cloud Computing (IEEE Cloud), July 4-9, 2011.
Tagged XML BibTex
UserMode SP_ISCA2005,
, 2005 .
Tagged XML BibTex
T
"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
"Tuning Instruction Customisation for Reconfigurable System-on-Chip",
Proceedings of the 22nd IEEE International SOC Conference, Sept. 9-11, 2009.
Abstract
Tagged XML BibTex
"The Reduced Address Space for Application Memory Authentication",
Proceedings of the 11th Information Security Conference (ISC'08), September 2008.
Tagged XML BibTex
"TEC-Tree: A Low Cost, Parallelizable Tree for Efficient Defense against Memory Replay Attacks",
Proc. Workshop on Cryptographic Hardware and Embedded Systems (CHES 2007), Vienna, Austria, pp. 289-302, September 2007.
Abstract
Tagged XML BibTex
TEC-Tree: A Low Cost and Parallelizable Tree for Efficient Defense against Memory Replay Attacks,
, Princeton University Department of Electrical Engineering Technical Report CE-L2007-002, March 2007.
Tagged XML BibTex
S
"Smartphone Impostor Detection with Behavioral Data Privacy and Minimalist Hardware Support",
TinyML Research Symposium, 2021 .
Tagged XML BibTex
"SoK: Hardware Defenses Against Speculative Execution Attacks",
IEEE International Symposium on Secure and Private Execution Environment Design, 2021 .
Abstract
Tagged XML BibTex
"Sensitive-sample Fingerprinting of Deep Neural Networks",
IEEE Conference on Computer Vision and Pattern Recognition (CVPR): IEEE, 15/06/2019.
Tagged XML BibTex
"Special Section on Secure Computer Architectures",
IEEE Transactions on Computers, vol. 67, issue 3, March 2018.
Tagged XML BibTex
"Secure Pick Up: Implicit Authentication When You Start Using the Smartphone",
ACM Symposium on Access Control Models and Technologies (SACMAT) , Indianapolis, 06/21/2017.
Abstract
Tagged XML BibTex
"Security Testing of a Secure Cache Design",
in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), June 24, 2013.
Tagged XML BibTex
"Side Channel Vulnerability Metrics: the Promise and the Pitfalls",
in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), June 24, 2013.
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
"SMASHUP: secure mashup for defense transformation and net-centric systems",
in Proceedings of Defense Transformation and Net-Centric Systems, April 27, 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
"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
"Scalable Security Architecture for Trusted Software",
PhD Thesis, Electrical Engineering Department, Princeton, NJ, Princeton University, pp. 231, 2010 .
Abstract
Tagged XML BibTex
"Securing the Use of Sensitive Data on Remote Devices Using a Hardware-Software Architecture",
PhD Thesis, Electrical Engineering Department, Princeton, NJ, Princeton University, pp. 294, 2010 .
Abstract
Tagged XML BibTex
"Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture",
2nd International Conference on Trusted Computing (TRUST 2009), Oxford, U.K., pp. 133-156, April 2009.
Abstract
Tagged XML BibTex