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

Perspective 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).

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.

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: 1197 ⬞ H-index: 13
Data was updated on 2019-06-12. A script for scraping Google Scholar page is here.

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

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.
[ 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.
[ BibTeX

The full list of CASLAB publications is available here.

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 8 projects totaling 89,058 lines of code. The hardware and software codes can be obtained from CASLAB's code page.
Data was updated on June 5, 2019. The data was computed using this script.

© Jakub Szefer, 2019