Award Recipient Francois Dupressoir University of Bristol Social website 2022 Amazon Research Award Formosa cryptography: computer-aided reasoning for high-assurance cryptographic design and engineering
