Publications

Peer-reviewed Publications

Chuanqi Xu, Ferhat Erata, and Jakub Szefer, "Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers", in Proceedings of the Conference on Computer and Communications Security (CCS), November 2023.
[ BibTeX ]  [ arXiv

Florian Frank, Wenjie Xiong, Nikolaos Anagnostopoulos, André Schaller, Tolga Arul, Farinaz Koushanfar, Stefan Katzenbeisser, Ulrich Ruhrmair, and Jakub Szefer, "Abusing Commodity DRAMs in IoT Devices to Remotely Spy on Temperature", IEEE Transactions on Information Forensics & Security (TIFS), 2023.
[ PDF ]  [ BibTeX ]  [ arXiv

Sanjay Deshpande, Chuanqi Xu, Mamuri Nawan, Kashif Nawaz, and Jakub Szefer, "Fast and Efficient Hardware Implementation of HQC", in Proceedings of the Selected Areas in Cryptography (SAC), August 2023.
[ PDF ]  [ BibTeX ]  [ arXiv ]  [ Video

Chuanqi Xu, and Jakub Szefer, "Long-Term Analysis of the Dependability of Cloud-based NISQ Quantum Computers", in International Conference on Availability, Reliability and Security (ARES), August 2023.
[ PDF ]  [ BibTeX ]  [ Video

Sanjay Deshpande, and Jakub Szefer, "Analyzing ChatGPT's Aptitude in an Introductory Computer Engineering Course", in Proceedings of the International Conference on Frontiers in Education: Computer Science & Computer Engineering (FECS), July 2023.
[ PDF ]  [ BibTeX ]  [ arXiv

Ferhat Erata, Ruzica Piskac, Victor Mateu, and Jakub Szefer, "Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code", in Proceedings of the European Symposium on Security and Privacy (EuroS&P), July 2023.
[ PDF ]  [ BibTeX ]  [ CODE

Jalil Morris, Anisul Abedin, Chuanqi Xu, and Jakub Szefer, "Fingerprinting Quantum Computer Equipment", in Proceedings of the Great Lakes Symposium on VLSI (GLSVLSI), June 2023.
[ BibTeX

Sanjay Deshpande, Chuanqi Xu, Theodoros Trochatos, Hanrui Wang, Ferhat Erata, Song Han, Yongshan Ding, and Jakub Szefer, "Design of Quantum Computer Antivirus", in Proceedings of the International Symposium on Hardware Oriented Security and Trust (HOST), May 2023.
[ PDF ]  [ BibTeX

Kaitlin Smith, Joshua Viszlai, Lennart Maximilian Seifert, Jonathan Baker, Jakub Szefer, and Frederic Chong, "Fast Fingerprinting of Cloud-based NISQ Quantum Computers", in Proceedings of the International Symposium on Hardware Oriented Security and Trust (HOST), May 2023.
[ BibTeX ]  [ arXiv version

Shanquan Tian, Shayan Moini, Daniel Holcomb, Russell Tessier, and Jakub Szefer, "A Practical Remote Power Attack on Machine Learning Accelerators in Cloud FPGAs", in Proceedings of the Design, Automation and Test in Europe Conference (DATE), April 2023.
[ PDF ]  [ BibTeX

Ilias Giechaskiel, Shanquan Tian, and Jakub Szefer, "Cross-VM Covert- and Side-Channel Attacks in Cloud FPGAs", in ACM Transactions on Reconfigurable Technology and Systems (TRETS), 2022.
[ PDF ]  [ BibTeX

Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, and Jakub Szefer, "Survey of Approaches and Techniques for Security Verification of Computer Systems", in Journal on Emerging Technologies in Computing Systems, 2022.
[ BibTeX ]  [ ePrint version

Allen Mi, Shuwen Deng, and Jakub Szefer, "Securing Reset Operations in NISQ Quantum Computers", in Proceedings of the Conference on Computer and Communications Security (CCS), November 2022.
[ PDF ]  [ BibTeX

Po-Jen Chen, Tung Chou, Sanjay Deshpande, Norman Lahr, Ruben Niederhagen, Jakub Szefer, and Wen Wang, "Complete and Improved FPGA Implementation of Classic McEliece", in IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), September 2022.
[ PDF ]  [ BibTeX ]  [ ePrint version

Sanjay Deshpande, Chuanqi Xu, Theodoros Trochatos, Yongshan Ding, and Jakub Szefer, "Towards an Antivirus for Quantum Computers", in Proceedings of the International Symposium on Hardware Oriented Security and Trust (HOST), June 2022.
[ PDF ]  [ BibTeX ]  [ arXiv version

Christophe Bobda, Joel Mbongue, Paul Chow, Mohammad Ewais, Naif Tarafdar, Juan Vega, Ken Eguro, Dirk Koch, Suranga Handagala, Miriam Leeser, Martin Herbordt, Hafsah Shahzad, Peter Hofste, Burkhard Ringlein, Jakub Szefer, Ahmed Sanaullah, and Russell Tessier, "The Future of FPGA Acceleration in Datacenters and the Cloud", in ACM Transactions on Reconfigurable Technology and Systems (TRETS), February 2022.
[ PDF ]  [ BibTeX

Shuwen Deng, Bowen Huang, and Jakub Szefer, "Leaky Frontends: Security Vulnerabilities in Processor Frontends", in Proceedings of the International Symposium on High-Performance Computer Architecture (HPCA), April 2022.
[ PDF ]  [ BibTeX ]  [ arXiv version ]  [ CODE

Jalil Morris, Obi Nnorom Jr., Anisul Abedin, Ferhat Erata, and Jakub Szefer, "Deep Freezing Attacks on Capacitors and Electronic Circuits", in Proceedings of the International Conference on Security, Privacy and Applied Cryptographic Engineering (SPACE), December 2021.
Best Student Paper Winner
[ PDF ]  [ BibTeX

Julia Burgiel, Daniel Esguerra, Ilias Giechaskiel, Shanquan Tian, and Jakub Szefer, "Characterization of IOBUF-based Ring Oscillators", in Proceedings of the International Conference on Field-Programmable Technology (FPT), December 2021.
[ PDF ]  [ BibTeX

Jonathon Durand, Anisul Abedin, and Jakub Szefer, "Ultra Freezing Attacks and Clock Glitching of Clock Oscillator Circuits", in Proceedings of the Asian Hardware Oriented Security and Trust Symposium (AsianHOST), December 2021.
[ PDF ]  [ BibTeX

Ilias Giechaskiel, Shanquan Tian, and Jakub Szefer, "Cross-VM Information Leaks in FPGA-Accelerated Cloud Environments", in Proceedings of the International Symposium on Hardware Oriented Security and Trust (HOST), December 2021.
(Due to the on-going pandemic, the paper presentations will be made during 2022 HOST conference.)
Best Paper Nominee
[ PDF ]  [ BibTeX

Shuwen Deng, and Jakub Szefer, "New Predictor-Based Attacks in Processors", in Proceedings of the Design Automation Conference (DAC), December 2021.
[ PDF ]  [ BibTeX ]  [ CODE

Shuwen Deng, Nikolay Matyunin, Wenjie Xiong, Stefan Katzenbeisser, and Jakub Szefer, "Evaluation of Cache Attacks on Arm Processors and Secure Caches", in IEEE Transactions on Computers, November 2021.
[ BibTeX ]  [ CODE

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "Secure TLBs", in Top Picks in Hardware and Embedded Security, November 2021.
[ BibTeX

Allen Mi, Shuwen Deng, and Jakub Szefer, "Short Paper: Device- and Locality-Specific Fingerprinting of Shared NISQ Quantum Computers", in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), October 2021.
[ PDF ]  [ BibTeX ]  [ arXiv version

Tianwei Zhang, Jakub Szefer, and Ruby Lee, "Practical and Scalable Security Verification of Secure Architectures", in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP), October 2021.
[ PDF ]  [ BibTeX ]  [ arXiv version

Patrick Longa, Wen Wang, and Jakub Szefer, "The Cost to Break SIKE: A Comparative Hardware-Based Analysis with AES and SHA-3", in Proceedings of the International Cryptology Conference (CRYPTO), August 2021.
[ PDF ]  [ BibTeX ]  [ ePrint version ]  [ CODE

Sanjay Deshpande, Santos Pozo, Victor Mateu, Marc Manzano, Najwa Aaraj, and Jakub Szefer, "Modular Inverse for Integers using Fast Constant Time GCD Algorithm and its Applications", in Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), August 2021.
[ PDF ]  [ BibTeX ]  [ CODE ]  [ Video

Wenjie Xiong, André Schaller, Nikolaos Anagnostopoulos, Muhammad Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, and Jakub Szefer, "DRAM PUFs in Commodity Devices", in IEEE Design & Test, 2021.
(This is journal version of Top Picks in Hardware and Embedded Security, November 2019)
[ BibTeX

Shayan Moini, Shanquan Tian, Daniel Holcomb, Jakub Szefer, and Russell Tessier, "Power Side-Channel Attacks on BNN Accelerators in Remote FPGAs", in IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 2021.
[ PDF ]  [ BibTeX ]  [ arXiv version

Shanquan Tian, Ilias Giechaskiel, Wenjie Xiong, and Jakub Szefer, "Cloud FPGA Cartography using PCIe Contention", in Proceedings of the International Symposium on Field-Programmable Custom Computing Machines (FCCM), May 2021.
[ PDF ]  [ BibTeX

Shanquan Tian, Shayan Moini, Adam Wolnikowski, Daniel Holcomb, Russell Tessier, and Jakub Szefer, "Remote Power Attacks on the Versatile Tensor Accelerator in Multi-Tenant FPGAs", in Proceedings of the International Symposium on Field-Programmable Custom Computing Machines (FCCM), May 2021.
Best Paper Candidate
[ PDF ]  [ BibTeX

Obi Nnorom Jr., Jalil Morris, Ilias Giechaskiel, and Jakub Szefer, "Chill Out: Freezing Attacks on Capacitors and DC/DC Converters", in Proceedings of the European Test Symposium (ETS), May 2021.
[ PDF ]  [ BibTeX

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "Understanding Insecurity of Processor Caches due to Cache Timing-Based Vulnerabilities", in IEEE Security & Privacy, 2021.
[ BibTeX

Wenjie Xiong, Stefan Katzenbeisser, and Jakub Szefer, "Leaking Information Through Cache LRU States in Commercial Processors and Secure Caches", in IEEE Transactions on Computers, 2021.
Featured Paper in the April 2021 issue of IEEE Transactions on Computers (TC)
[ BibTeX

Wenjie Xiong, and Jakub Szefer, "Survey of Transient Execution Attacks and Their Mitigations", in ACM Computing Surveys, May 2021.
[ BibTeX ]  [ arXiv version

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.
IEEE Micro Top Picks Honorable Mention 2021

Shayan Moini, Shanquan Tian, Jakub Szefer, Daniel Holcomb, and Russell Tessier, "Remote Power Side-Channel Attacks on BNN Accelerators in FPGAs", in Design, Automation and Test in Europe Conference (DATE), February 2021.
[ PDF ]  [ BibTeX ]  [ arXiv version

Shanquan Tian, Andrew Krzywosz, Ilias Giechaskiel, and Jakub Szefer, "Cloud FPGA Security with RO-Based Primitives", in Proceedings of the International Conference on Field-Programmable Technology (FPT), December 2020.
[ PDF ]  [ BibTeX ]  [ CODE

Ilias Giechaskiel and Jakub Szefer, "Information Leakage from FPGA Routing and Logic Elements", in Proceedings of the International Conference on Computer-Aided Design (ICCAD), November 2020.
[ PDF ]  [ BibTeX

Prashanth Mohan, Wen Wang, Bernhard Jungk, Ruben Niederhagen, Jakub Szefer, and Ken Mai, "ASIC Accelerator in 28 nm for the Post-Quantum Digital Signature Scheme XMSS", in Proceedings of the International Conference on Computer Design (ICCD), October 2020.
[ PDF ]  [ BibTeX

Wen Wang, Shanquan Tian, Bernhard Jungk, Nina Bindel, Patrick Longa, and Jakub Szefer, "Parameterized Hardware Accelerators for Lattice-Based Cryptography and Their Application to the HW/SW Co-Design of qTESLA", in Proceedings of the Conference on Cryptographic Hardware and Embedded Systems (CHES), September 2020.
[ PDF ]  [ BibTeX ]  [ ePrint version ]  [ CODE

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

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.
[ PDF ]  [ BibTeX ]  [ arXiv version ]  [ Presentation Video ]  [ CODE ]

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

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.
[ PDF ]  [ BibTeX ]  [ CODE ]  [ arXiv version ]  [ Teaser Video

Shuwen Deng, Wenjie Xiong, and Jakub Szefer, "Analysis of Secure Caches Using a Three-Step Model for Timing-Based Attacks", in Journal of Hardware and Systems Security, December 2019.
[ PDF ]  [ BibTeX ]  [ prior ePrint

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

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

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

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 Student 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

Theodoros Trochatos, Anthony Etim, and Jakub Szefer, "Security Evaluation of Thermal Covert-channels on SmartSSDs", May 2023.
[ BibTeX

Ferhat Erata, Arda Goknil, Eren Yıldız, Kasım Yıldırım, Ruzica Piskac, Jakub Szefer, and Gökçin Sezgin, "ETAP: Energy-aware Timing Analysis of Intermittent Programs", February 2022.
[ BibTeX ]  [ arXiv ]  [ CODE

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

Hardware Demos

Shanquan Tian, Wenjie Xiong, Ilias Giechaskiel, Kasper Rasmussen, and Jakub Szefer, "Fingerprinting Cloud FPGA Infrastructures", Hardware Demo at the International Symposium on Hardware Oriented Security and Trust (HOST), December 2020.
[ Poster PDF

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