Publications

Export (18) results:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Szefer  [Clear All Filters]
T
Szefer, J., Bau, J., Mitchell, J.C., Lee, R.B., "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
Ho, C.H., Luk, W., Szefer, J.M., Lee, R.B., "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
Zhang, T., Szefer, J., Lee, R.B., "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
Szefer, J., Zhang, W., Chen, Y., Champagne, D., Chan, K., Li, W., Cheung, R., Lee, R.B., "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
Szefer, J., Jamkhedkar, P., Chen, Y., Lee, R.B., "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
Keller, E., Szefer, J., Rexford, J., Lee, R.B., "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
Szefer, J., Lee, R.B., "Hardware-Enhanced Security for Cloud", Secure Cloud Computing , Berlin, Springer, pp. 57-76, 2014  . Tagged XML BibTex
G
Szefer, J., Chen, Y., Lee, R.B., "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
Szefer, J., Keller, E., Lee, R.B., Rexford, J., "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
Szefer, J., Chen, Y., Cheung, R., Lee., R.B., "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
Zhang, W., Szefer, J.M., Chen, Y., Yu, C., Li, W.X.Y., Cheung, R.C.C., Lee, R.B., "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
Szefer, J., Jamkhedkar, P., Perez-Botero, D., Lee, R.B., "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
Perez-Botero, D., Szefer, J., Lee, R.B., "Characterizing Hypervisor Vulnerabilities in Cloud Computing Servers", in Proceedings of the Workshop on Security in Cloud Computing (SCC), May 2013. Tagged XML BibTex
B
Szefer, J., Lee, R.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
Szefer, J., "Architectures for Secure Cloud Computing Servers", PhD Thesis, Electrical Engineering Department, Princeton, NJ, Princeton University, 2013  . Tagged XML BibTex
Jamkhedkar, P., Szefer, J., Perez-Botero, D., Zhang, T., Triolo, G., Lee, Ruby.B., "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
Szefer, J., Lee, R.B., "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
Szefer, J., Lee, R.B., "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