Cited By
View all- Meadows C(2024)Formal Verification of CryptosystemsEncyclopedia of Cryptography, Security and Privacy10.1007/978-3-642-27739-9_1673-1(5-8)Online publication date: 4-Jul-2024
- Chichester DDu WKauffman RLin HLynch CM. Marshall AA. Meadows CNarendran PRavishankar VRovira LRozek B(2022)CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic AlgorithmsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.370.10370(147-161)Online publication date: 20-Sep-2022
- Rakotonirina IAmbrona MAguirre ABarthe GSuga YSakurai KDing XSako K(2022)Symbolic Synthesis of Indifferentiability AttacksProceedings of the 2022 ACM on Asia Conference on Computer and Communications Security10.1145/3488932.3497759(667-681)Online publication date: 30-May-2022
- Show More Cited By