Jakub Szefer
Assistant Professor
Department of Electrical Engineering
Yale University
Office Address: 10 Hillhouse Avenue, Dunham Lab, Room 519, New Haven, CT 06511, USA
E-mail: jakub.szefer@yale.edu
PGP Key: pubkey.txt or from MIT's PGP key server

Prospective students interested in Ph.D. study with our group should apply directly to the graduate school and list my name as a potential adviser so I can find the application more easily. Applications are reviewed in early January of each year. Undergraduate students and others please contact me by e-mail.

I run the Computer Architecture and Security Laboratory (CASLAB) at Yale University, where I am fortunate to work with a great group of students. We build architectures and hardware for securing computer systems and cloud cyber-infrastructures.

Our results include novel Secure TLBs and frameworks for security verification of processor caches and whole architectures; hardware accelerators for code-based, hash-based, and lattice-based post-quantum cryptographic (PQC) algorithms on FPGAs (and soon on ASICs); security attacks and defenses for nascent Cloud FPGA computing paradigm and novel side and covert channels in Cloud FPGAs; and DRAM-based Physically Uncloneable Functions. We are also part of the Classic McEliece team in NIST's PQC standardization competition.

Our research is supported through current grants: NSF grant 1651945 (DRAM PUFs); NSF grant 1716541 (Hardware Architectures for PQC); NSF grant 1813797 (Security Verification); and NSF grant 1901901 (Cloud FPGA Security). We are also thankful for industry donations from Amazon, Xilinx, and Intel (formerly Altera).

I am a Senior Member of the IEEE, a Member of the ACM, and an Associate Member of HiPEAC.

BOOK

I am an author of a first book focusing specifically on design of secure processor architectures, including topics such as Trusted Execution Environments and Side-Channel Threats and Protections.

Jakub Szefer, "Principles of Secure Processor Architecture Design", Morgan & Claypool Publishers, October 2018.

The book's web page can be found here.

For a more fun reading, you can check out a kids book recently published by my mom Ich Troje!

TUTORIALS, SUMMER SCHOOLS, and WORKSHOPS

I regularly give tutorials on processor architectures and security. The next tutorial will be on: Design of Secure Processor Architectures, August 25, 2019, co-located with CHES 2019.

The full list of tutorials and free PDFs of the slides are available here.

I will teach at the summer school on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, 14-20 July 2019, Fiuggi, Italy. I will give lectures on Processor Architecture Security.

Each year I co-organize the workshop on Hardware and Architectural Support for Security and Privacy (HASP). The next workshop will be June 23 (Sunday), 2019 in Phoenix, Arizona, USA -- in conjunction with ISCA 2019.

TEACHING

EENG 428 / ENAS 968: Cloud FPGA -- In Fall 2019 I will teach first-of-a-kind FPGA course focusing on the new Cloud FPGA computing paradigm. Tentative upcoming fall 2019 course page is here.

EENG 201: Introduction to Computer Engineering -- Every spring, I teach the introductory course for Computer Engineering. Prior spring 2019 course page is here.

EENG 467 / ENAS 967: Computer Organization and Architecture -- I have also taught the intermediate computer architecture course (the first Hennessy and Patterson book). Prior fall 2017 course page is here (I was on a child-rearing leave in fall 2018).

RECENT SELECTED PUBLICATIONS

DBLPGoogle Scholar ⬞ Citations: 1577 ⬞ H-index: 17
Data was updated on 2020-06-03.

The full list of CASLAB publications is available here.

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

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

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

OPEN-SOURCE HARDWARE

My group regularly publishes hardware (and associated software) code for our projects under open-source licenses, mostly GPLv2 or newer.

To-date my group has published 12 projects totaling 129,785 lines of code. The hardware and software codes can be obtained from CASLAB's code page.
Data was updated on 2020-01-07. The data was computed using this script.

© Jakub Szefer, 2019