High-Assurance Go Cryptography - Filippo Valsorda
High-assurance Go cryptography - Filippo Valsorda
36C3 - High-assurance crypto software
hacspec: succinct, executable, verifiable specifications for high-assurance cryptography
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
HACL* in Mozilla Firefox | Benjamin Beurdouche (INRIA) | RWC 2018
RuhrSec 2023 // Keynote: Towards High-Assurance Cryptographic Software, Karthikeyan Bhargavan
LambdaConf 2015 - Intro to Cryptol and High Assurance Crypto Engineering Adam Foltzer
ACM CCS 2017 - Jasmin: High-Assurance and High-Speed Cryptography - Vincent Laporte
"Formally Verifying Everybody's Cryptography" by Mike Dodds, Joey Dodds (Strange Loop 2022)
Omar Haider Chowdhury (IOWA)-Towards a High-Assurance and Spec.-Compliant X.509 PKI Implementation
Virgil Gligor - Determining an Economic Value of High Assurance for Commodity Software Security
AWS re:Inforce 2022 - High assurance with provable security (DPP308)
Building High Assurance Software without Breaking the Bank
Programming Languages for High-Assurance Vehicles
The Last Mile High Assurance and High Speed Cryptographic Implementations
Go: Cryptography
[2020-07-27] Tom Jones: Self Issued High Assurance
Keynote | High-assurance Code Reviews: How Consulting Works When The Risks Are High by Dan Guido