Publications

Technical Reports

Shuwen Deng, Doğuhan Gümüşoğlu, Wenjie Xiong, Y. Serhan Gener, Onur Demir, and Jakub Szefer, "SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures", February 2017.
[ ePrint ]

Onur Demir, Wenjie Xiong, Faisal Zaghloul, and Jakub Szefer, "Survey of Approaches for Security Verification of Hardware/Software Systems", August 2016.
[ ePrint ]

Jakub Szefer, "Survey of Microarchitectural Side and Covert Channels, Attacks, and Defenses", May 2016.
[ ePrint ]

Peer-reviewed Publications

Wen Wang, Jakub Szefer, and Ruben Niederhagen, "FPGA-based Key Generator for the Niederreiter Cryptosystem using Binary Goppa Codes" in Proceedings of the Conference on Cryptographic Hardware and Embedded Systems (CHES), September 2017.
[ BibTeX ]

André Schaller, Wenjie Xiong, Muhammad Umair Saleem, Nikolaos A. Anagnostopoulos, Stefan Katzenbeisser, and Jakub Szefer, "Intrinsic Rowhammer PUFs: Leveraging the Rowhammer Effect for Improved Security" in Proceedings of the International Symposium on Hardware Oriented Security and Trust (HOST), May 2017. (Best Student Paper Finalist)
[ PDF ] [ BibTeX ] [ CODE ]

Tobias Dehling, Manuel Schmidt-Kraepelin, Muhammed Demircan, Jakub Szefer, and Ali Sunyaev, "User Archetypes for Effective Information Privacy Communication" in Proceedings of the Workshop on Information Security and Privacy (WISP), December 2016.
[ PDF ] [ BibTeX ]

Sumedh Guha, Wen Wang, Shafeeq Ibraheem, Mahesh Balakrishnan, and Jakub Szefer, "Design and Implementation of Open-Source SATA III Core for Stratix V FPGAs" in Proceedings of the International Conference on Field-Programmable Technology (FPT), December 2016.
[ PDF ] [ BibTeX ]

Wen Wang, Jakub Szefer, and Ruben Niederhagen, "Solving Large Systems of Linear Equations over GF(2) on FPGAs" in Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), November 2016.
[ PDF ] [ BibTeX ] [ CODE ]

Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, Jakub Szefer, and Hakim Weatherspoon, "Towards Weakly Consistent Local Storage Systems" in Proceedings of the Symposium on Cloud Computing (SOCC), October 2016.
[ PDF ] [ BibTeX ]

Wenjie Xiong, André Schaller, Nikolaos A. Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, and Jakub Szefer, "Run-time Accessible DRAM PUFs in Commodity Devices" in Proceedings of the Conference on Cryptographic Hardware and Embedded Systems (CHES), August 2016.
[ PDF ] [ BibTeX ] [ CODE ]

Nikolay Matyunin, Jakub Szefer, Sebastian Biedermann, and Stefan Katzenbeisser, "Covert Channels Using Mobile Device’s Magnetic Field Sensors" in Proceedings of the 21st Asia and South Pacific Design Automation Conference (ASP-DAC), January 2016.
[ PDF ] [ BibTeX ]

Junaid Nomani and Jakub Szefer, “Predicting Program Phases and Defending Against Side-Channel Attacks using Hardware Performance Counters” in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), June 2015.
[ PDF ] [ BibTeX ]

Sebastian Biedermann, Stefan Katzenbeisser and Jakub Szefer, "Hard Drive Side-Channel Attacks using Smartphone Magnetic Field Sensors" in Proceedings of Financial Cryptography and Data Security (FC), January 2015.
[ PDF ] [ BibTeX ]

Sebastian Biedermann, Stefan Katzenbeisser and Jakub Szefer, “Hot-Hardening: Getting More Out Of Your Security Settings” in Proceedings of the Annual Computer Security Applications Conference (ACSAC), December 2014.
[ PDF ] [ BibTeX ]

Sebastian Biedermann and Jakub Szefer, "SystemWall: An Isolated Firewall using Hardware-based Memory Introspection" in Proceedings of the International Security Conference (ISC), October 2014.
[ PDF ] [ BibTeX ] [ CODE ]

Sebastian Biedermann, Stefan Katzenbeisser and Jakub Szefer, "Leveraging Virtual Machine Introspection for Hot-Hardening of Arbitrary Cloud-User Applications" in Proceedings of the USENIX Workshop on Hot Topics in Cloud Computing (HotCloud), June 2014.
[ PDF ] [ BibTeX ]

Jakub Szefer and Sebastian Biedermann, "Towards Fast Hardware Memory Integrity Checking with Skewed Merkle Trees" in Proceedings of the Workshop on Hardware Support for Security and Privacy (HASP), June 2014.
[ PDF ] [ BibTeX ]

Jakub Szefer, Pramod Jamkhedkar, Diego Perez-Botero and Ruby B. Lee, "Cyber Defenses for Physical Attacks and Insider Threats in Cloud Computing," in Proceedings of the ACM Symposium on Information, Computer and Communications Security (AsiaCCS), June 2014.
[ PDF ] [ BibTeX ]

Sebastian Jeuk, Jakub Szefer and Shi Zhou, "Towards Cloud, Service and Tenant Classification For Cloud Computing," in Proceedings of the Workshop on Assured Cloud Computing (WACC), May 2014.
[ PDF ] [ BibTeX ]

Pramod Jamkhedkar, Jakub Szefer, Diego Perez-Botero, Tianwei Zhang, Gina Triolo and Ruby B. Lee, "A Framework for Realizing Security on Demand in Cloud Computing", in Proceedings of the International Conference on Cloud Computing Technology and Science (CloudCom), December 2013.
[ PDF ] [ BibTeX ]

Jakub Szefer and Ruby B. Lee, "BitDeposit: Deterring Attacks and Abuses of Cloud Computing Services Through Economic Measures," in Proceedings of the Workshop on Assured Cloud Computing (ACC), May 2013.
[ PDF ] [ BibTeX ]

Diego Perez-Botero, Jakub Szefer and Ruby B. Lee, "Characterizing Hypervisor Vulnerabilities in Cloud Computing Servers," in Proceedings of the Workshop on Security in Cloud Computing (SCC), May 2013.
[ PDF ] [ BibTeX ]

Tianwei Zhang, Jakub Szefer and Ruby B. Lee, "Security Verification of Hardware-enabled Attestation Protocols," in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), December 2012.
[ PDF ] [ BibTeX ]

Jakub Szefer, Pramod Jamkhedkar, Yu-Yuan Chen and Ruby B. Lee, "Physical Attack Protection with Human-Secure Virtualization in Data Centers," in Proceedings of the Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS), June 2012.
[ PDF ] [ BibTeX ]

Jakub Szefer and Ruby B. Lee, "Architectural Support for Hypervisor-Secure Virtualization," in Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2012.
[ PDF ] [ BibTeX ]

Jakub Szefer, Eric Keller, Ruby B. Lee and Jennifer Rexford, "Eliminating the Hypervisor Attack Surface for a More Secure Cloud," in Proceedings of the Conference on Computer and Communications Security (CCS), October 2011.
[ PDF ] [ BibTeX ]

Jakub Szefer and Ruby B. Lee, "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 2011.
[ PDF ] [ BibTeX ]

Jakub Szefer, Wei Zhang, Yu-Yuan Chen, David Champagne, King Chan, Will Li, Ray Cheung and Ruby Lee, "Rapid Single-Chip Secure Processor Prototyping on OpenSPARC FPGA Platform," in Proceedings of the Rapid System Prototyping Symposium (RSP), May 2011.
[ PDF ] [ BibTeX ]

Jakub Szefer, Yu-Yuan Chen and Ruby B. Lee, “General-purpose FPGA Platform for Efficient Encryption and Hashing,” in Proceedings of the Application-specific Systems, Architectures and Processors (ASAP) conference, July 2010.
[ PDF ] [ BibTeX ]

Eric Keller, Jakub Szefer, Jennifer Rexford, and Ruby B. Lee, “NoHype: Virtualized cloud infrastructure without the virtualization,” in Proceedings of the International Symposium on Computer Architecture (ISCA), pages 350-357, June 2010.
[ PDF ] [ BibTeX ]

Chun Hok Ho, Wayne Luk, Jakub M. Szefer, Ruby B. Lee, “Tuning Instruction Customisation for Reconfigurable System-on-Chip,” 22nd IEEE International SOC Conference (SOCC), Belfast, Northern Ireland, UK, September 2009.
[ PDF ] [ BibTeX ]