2022 Amazon Research Award
Formosa cryptography: computer-aided reasoning for high-assurance cryptographic design and engineering
Amazon.com | Conditions of Use | Privacy | © 1996-2026 Amazon.com, Inc. or its affiliates