Publications

Peer-reviewed Publications

Ilias Giechaskiel, Kasper Rasmussen, and Jakub Szefer, "CAPSULe: Cross-FPGA Covert-Channel Attacks through Power Supply Unit Leakage", in Proceedings of the IEEE Symposium on Security and Privacy (S&P), May 2020.
[ BibTeX

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "A Benchmark Suite for Evaluating Caches’ Vulnerability to Timing Attacks", in Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2020.
[ BibTeX

Shanquan Tian, Wenjie Xiong, Ilias Giechaskiel, Kasper Rasmussen, and Jakub Szefer, "Fingerprinting Cloud FPGA Infrastructures", in Proceedings of the International Symposium on Field-Programmable Gate Arrays (FPGA), February 2020.
[ BibTeX

Wenjie Xiong, and Jakub Szefer, "Leaking Information Through Cache LRU States", in Proceedings of the International Symposium on High-Performance Computer Architecture (HPCA), February 2020.
[ BibTeX

Shanquan Tian, Wen Wang, and Jakub Szefer, "Merge-Exchange Sort Based Discrete Gaussian Sampler with Fixed Memory Access Pattern", in Proceedings of the International Conference on Field-Programmable Technology (FPT), December 2019.
[ BibTeX ]  [ CODE ]

Wenjie Xiong, André Schaller, Stefan Katzenbeisser, and Jakub Szefer, "Software Protection using Dynamic PUFs", in IEEE Transactions On Information Forensics And Security (TIFS), November 2019.
[ BibTeX

Ilias Giechaskiel, Kasper Rasmussen, and Jakub Szefer, "Reading Between the Dies: Cross-SLR Covert Channels on Multi-Tenant Cloud FPGAs", in Proceedings of the International Conference on Computer Design (ICCD), November 2019.
[ BibTeX ]  [ CODE

Wenjie Xiong, André Schaller, Nikolaos Anagnostopoulos, Muhammad Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, and Jakub Szefer, "Run-time Accessible DRAM PUFs in Commodity Devices", in Top Picks in Hardware and Embedded Security, November 2019.
[ BibTeX

Nikolay Matyunin, Yujue Wang, Tolga Arul, Jakub Szefer, and Stefan Katzenbeisser, "MagneticSpy: Exploiting Magnetometer in Mobile Devices for Website and Application Fingerprinting", in Proceedings of the Workshop on Privacy in the Electronic Society (WPES), November 2019.
[ BibTeX ]  [ arXiv version

Ilias Giechaskiel, Kasper Rasmussen, and Jakub Szefer, "Measuring Long Wire Leakage with Ring Oscillators in Cloud FPGAs", in Proceedings of the International Conference on Field-Programmable Logic and Applications (FPL), September 2019.
[ PDF ]  [ BibTeX

Wen Wang, Bernhard Jungk, Julian Wälde, Shuwen Deng, Naina Gupta, Jakub Szefer, and Ruben Niederhagen, "XMSS and Embedded Systems: XMSS Hardware Accelerators for RISC-V", in Proceedings of the Selected Areas in Cryptography (SAC), August 2019.
[ PDF ]  [ BibTeX ]  [ prior ePrint ]  [ CODE

Shuai Chen, Wenjie Xiong, Yehan Xu, Bing Li, and Jakub Szefer, "Thermal Covert Channels Leveraging Package-On-Package DRAM", in Proceedings of the International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), August 2019.
[ PDF ]  [ BibTeX ]  [ CODE

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "Secure TLBs", in Proceedings of the International Symposium on Computer Architecture (ISCA), June 2019.
[ PDF ]  [ BibTeX ]  [ CODE

Shuwen Deng, Doğuhan Gümüşoğlu, Wenjie Xiong, Y. Serhan Gener, Onur Demir, and Jakub Szefer, "SecChisel Framework for Security Verification of Secure Processor 
Architectures", in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), June 2019.
[ PDF ]  [ BibTeX ]  [ prior ePrint

Wenjie Xiong, André Schaller, Stefan Katzenbeisser, and Jakub Szefer, "Dynamic Physically Unclonable Functions", in Proceedings of the Great Lakes Symposium on VLSI (GLSVLSI), May 2019.
[ PDF ]  [ BibTeX

André Schaller, Wenjie Xiong, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Boris Škorić, Stefan Katzenbeisser, and Jakub Szefer, "Decay-Based DRAM PUFs in Commodity Devices", in IEEE Transactions On Dependable And Secure Computing, vol. 16, issue 3, May 2019.
[ PDF ]  [ BibTeX

Wenjie Xiong, Nikolaos Athanasios Anagnostopoulos, André Schaller, Stefan Katzenbeisser, and Jakub Szefer, "Spying on Temperature using DRAM", in Proceedings of the Design, Automation, and Test in Europe (DATE), March 2019.
[ PDF ]  [ BibTeX ]  [ CODE

Shanquan Tian and Jakub Szefer, "Temporal Thermal Covert Channels in Cloud FPGAs", in Proceedings of the International Symposium on Field-Programmable Gate Arrays (FPGA), February 2019.
[ PDF ]  [ BibTeX

Jakub Szefer, "Survey of Microarchitectural Side and Covert Channels, Attacks, and Defenses", in Journal of Hardware and Systems Security, September 2018.
[ PDF ]  [ BibTeX ]  [ prior ePrint

Nikolaos Athanasios Anagnostopoulos, Tolga Arul, Yufan Fan, Christian Hatzfeld, Andréé Schaller, Wenjie Xiong, Manishkumar Jain, Muhammad Umair Saleem, Jan Lotichius, Sebastian Gabmeyer, Jakub Szefer, and Stefan Katzenbeisser, "Intrinsic Run-Time Row Hammer PUFs: Leveraging the Row Hammer Effect for Run-Time Cryptography and Improved Security", in Cryptography, vol. 2, no. 3, June 2018.
[ PDF ]  [ BibTeX ]  [ prior Preprint

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "Cache Timing Side-Channel Vulnerability Checking with Computation Tree Logic", in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), June 2018.
[ PDF ]  [ BibTeX

Wen Wang, Jakub Szefer, and Ruben Niederhagen, "Post-Quantum Cryptography on FPGAs: the Niederreiter Cryptosystem: Extended Abstract", in Proceedings of the Great Lakes Symposium on VLSI (GLSVLSI), May 2018.
[ PDF ]  [ BibTeX

Nikolay Matyunin, Jakub Szefer, and Stefan Katzenbeisser, "Zero-Permission Acoustic Cross-Device Tracking", in Proceedings of International Symposium on Hardware Oriented Security and Trust (HOST), May 2018. (Best Studnet Paper Winner)
[ PDF ]  [ BibTeX

Wen Wang, Jakub Szefer, and Ruben Niederhagen, "FPGA-based Niederreiter Cryptosystem using Binary Goppa Codes", in Proceedings of International Conference on Post-Quantum Cryptography (PQCrypto), April 2018.
[ PDF ]  [ BibTeX ]  [ CODE

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.
[ PDF ]  [ BibTeX ]  [ CODE

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 ]  [ arXiv version

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 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 (ACC), 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 International Symposium on Cluster Computing and the Grid (CCGRID), 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. Lea, "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), June 2010.
[ PDF ]  [ BibTeX

Chun Hok Ho, Wayne Luk, Jakub M. Szefer, and Ruby B. Lee, "Tuning Instruction Customisation for Reconfigurable System-on-Chip", in Proceedings of the International SOC Conference (SOCC), September 2009.
[ PDF ]  [ BibTeX

Craig Michie, Ivan Andonovic, R. Atkinson, Yanhua Deng, Jakub Szefer, Camille-Sophie Bres, Yue Huang, Ivan Glesk, Paul Prucnal, Kensuke Sasaki, and Gyaneshwar Gupta, "Interferometric noise characterization of a 2-D time-spreading wavelength-hopping OCDMA network using FBG encoding and decoding", in Journal of Optical Networking (JON), June 2007.
[ PDF ]  [ BibTeX

Books

Jakub Szefer, "Principles of Secure Processor Architecture Design", Morgan & Claypool Publishers, October 2018.
[ Book details ]  [ BibTeX

Technical Reports

Wenjie Xiong, and Jakub Szefer, "Leaking Information Through Cache LRU States", May 2019.
[ arXiv

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "Analysis of Secure Caches using a Three-Step Model for Timing-Based Attacks", February 2019, updated June 2019.
[ ePrint

Daniel J. Bernstein, Tung Chou, Tanja Lange, Ingo von Maurich, Rafael Misoczki, Ruben Niederhagen, Edoardo Persichetti, Christiane Peters, Peter Schwabe, Nicolas Sendrier, Jakub Szefer, and Wen Wang, "Classic McEliece: conservative code-based cryptography", November 2017.
[ Submission to NIST's PQC competition

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

Hardware Demos

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "RISC-V Secure Caches Demo on FPGA", Hardware Demo at the International Symposium on Hardware Oriented Security and Trust (HOST), May 2019.
[ Poster PDF

Wen Wang, Jakub Szefer, and Ruben Niederhagen, "FPGA-based Post-Quantum Secure Niederreiter Cryptosystem Demonstration", Hardware Demo at the International Symposium on Hardware Oriented Security and Trust (HOST), May 2018.
[ Poster PDF