Jakub Szefer, B.S., University of Illinois at Urbana-Champaign; M.A., Princeton University; Ph.D., Princeton University

Jakub Szefer's picture
Associate Professor of Electrical Engineering & Computer Science
10 Hillhouse Ave, New Haven, CT 06511-6814

Jakub Szefer’s research interests are at the intersection of computer architecture and hardware security. Jakub’s recent projects focus on: security verification of processor architectures; hardware (FPGA) implementation of cryptographic algorithms, especially post-quantum cryptographic (PQC) algorithms; designs of new Physically Unclonable Functions (PUFs); and leveraging physical properties of computer hardware for new cryptographic and security applications.

Representative Publications:

  • “Queries revisited,” Proc. ALT 2001, 12-31,2001.
  • “Robot navigation with distance queries,” with J. Westbrook and W. Zhu, SIAM Computing, 30:110-144, 2000.
  • “Learning regular sets from queries and counterexamples,” Information and Computation, 75:87-106, 1989.
  • “Finding patterns common to a set of strings,” Journal of Computer and System Sciences, 21:46-62, 1980.