- 2026-07: Cortex security audit 📜
- See also the associated blog post
- 2026-06: Stack Variable Initialisation using LLVM BOLT 📜
- See also the associated blog post
- 2026-06: Scala security audit 📜
- See also the associated blog post
- 2026-05: Paramiko security audit 📜
- See also the associated blog post
- 2026-01: EVerest security audit 📜
- See also the associated blog post
- 2025-11: Bitcoin core security audit 📜
- See also the associated blog post
- 2025-11: KubeVirt security audit 📜
- See also the associated blog post
- 2025-04: PHP-SRC audit 📜
- See also the associated blog post
- 2025-02: Allbridge Estrela - Stellar Audit Bank 📜
- See also the associated blog post
- 2024-10: The Notary Project Security Audit - Technical report focused on new cryptographic features 📜
- See also the associated blog post
- 2024-05: Source code review - OSTIF - OperatorFabric - Full audit of the solution 📜
- See also the associated blog post
- 2024-05: Airswift - Supply Chain Financing - Stellar Audit Bank 📜
- See also the associated blog post
- 2024-04: Cloud Native Buildpacks - Technical Report 📜
- See also the associated blog post
- 2024-04: Allbridge Estrela - Stellar Audit Bank 📜
- See also the associated blog post
- 2024-02: Allbridge Soroban Bridge - Stellar Audit Bank 📜
- See also the associated blog post
- 2024-01: Eclipse KUKSA audit 📜
- See also the associated blog post
- 2023-10: Bulletproof Plus Rust implementation - Cryptographic security audit 📜
- 2023-07: Security Considerations for Transient Numeric Identifiers Employed in Network Protocols 📜
- 2023-07: On the Generation of Transient Numeric Identifiers 📜
- 2023-07: Unfortunate History of Transient Numeric Identifiers 📜
- 2023-05: Mithril BlindAI Security Assessment Report 📜
- See also the associated blog post
- 2023-01: Falco Security Audit Report 📜
- See also the associated blog post
- 2022-01: XCM: Cross-Consensus Messaging Audit. Technical audit report prepared for Parity 📜
- See also the associated blog post
- 2022-11: InterBTC - Vault Client. Technical audit report prepared for Interlay 📜
- 2022-05: Joystream Security Audit 📜
- 2022-04: Interlay Security Audit 📜
- 2021-10: Litecoin - Mimble Wimble audit. Technical Audit Report 📜
- See also the associated blog post
- 2021-05: Oxen Session Audit. Technical Report 📜
- See also the associated blog post
- 2020-11: Technical assessment of herumi libraries 📜
- See also the associated blog post
- 2020-05: Ansible Security Assessment
- See the associated blog post
- 2020-01: État de l'art: Techniques de fuzzing, exécution symbolique, slicing et combinaisons 📜
- 2019-08: Security evaluation of dalek-cryptography libraries 📜
- See also the associated blog post
- 2019-07: RandomX Security Audit 📜
- See also the associated blog post
- 2019-06: Evaluation of Bulletproofs and MLSAG 📜
- See also the associated blog post
- 2019-01: OpenSSL Security Assessment Technical Report 📜
- 2018-10: Evaluation of Bulletproof Implementation - Monero 📜
- See also the associated blog post
- 2017-05: OpenVPN 2.4.0 Security Assessment Technical Report 📜
- See also the associated blog post
- 2016-10: VeraCrypt 1.18 Security Assessment Technical Report 📜
- See also the associated blog post
- 2015-06: ChatSecure security assessment. Technical Report 📜
- See also the associated blog post