From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2022
Source ID
10.1109/tdsc.2021.3108031

Entities

People

  • Daphne Yao
  • Haipeng Cai
  • Omar Chowdhury
  • Sazzadur Rahaman

Organizations

  • National Science Foundation
  • Office of Naval Research
  • University of Iowa
  • Virginia Tech
  • Washington State University