Cited By
View all- Meadows C(2025)Formal Verification of CryptosystemsEncyclopedia of Cryptography, Security and Privacy10.1007/978-3-030-71522-9_1673(963-966)Online publication date: 8-Jan-2025
- Ambrona MFarshim PHarasser PLuo BLiao XXu JKirda ELie D(2024)Block Ciphers in Idealized Models: Automated Proofs and New Security ResultsProceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security10.1145/3658644.3690222(2771-2785)Online publication date: 2-Dec-2024
- Xie XLi YZhang WWang TXu SZhu JSong Y(2024)GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols2024 IEEE Symposium on Security and Privacy (SP)10.1109/SP54263.2024.00131(484-502)Online publication date: 19-May-2024
- Show More Cited By