- 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 Szefer [Clear All Filters]
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
S
"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
R
"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
P
"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
N
"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
H
"Hardware-Enhanced Security for Cloud",
Secure Cloud Computing , Berlin, Springer, pp. 57-76, 2014 .
Tagged XML BibTex
G
"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
E
"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
"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
D
"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
C
"Cyber Defenses for Physical Attacks and Insider Threats in Cloud",
Proceedings of the ACM Symposium on Information, Computer and Communications Security (AsiaCCS), June 2014.
Tagged XML BibTex
"Characterizing Hypervisor Vulnerabilities in Cloud Computing Servers",
in Proceedings of the Workshop on Security in Cloud Computing (SCC), May 2013.
Tagged XML BibTex
B
"BitDeposit: Deterring Attacks and Abuses of Cloud Computing Services Through Economic Measures",
in Proceedings of the Workshop on Assured Cloud Computing (ACC), May 2013.
Tagged XML BibTex
A
"Architectures for Secure Cloud Computing Servers",
PhD Thesis, Electrical Engineering Department, Princeton, NJ, Princeton University, 2013 .
Tagged XML BibTex
"A Framework for Realizing Security on Demand in Cloud Computing",
IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Bristol, UK, December 2013.
Tagged XML BibTex
"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
"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