Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2022
Source ID
10.1109/sp46214.2022.9833621

Entities

People

  • Abhishek Bichhawat
  • Jonathan Protzenko
  • Karthikeyan Bhargavan
  • Son Ho

Organizations

  • European Research Council
  • Indian Institute of Technology Gandhinagar
  • Institut National de Recherche en Informatique et en Automatique
  • Microsoft
  • Office of Naval Research