Cited By
View all- Sun PSong FChen YChen T(2024)EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential CryptanalysisProceedings of the ACM on Programming Languages10.1145/36328718:POPL(848-881)Online publication date: 5-Jan-2024
- Xu M(2024)Research Report: Not All Move Specifications Are Created Equal : A Case Study on the Formally Verified Diem Payment Network2024 IEEE Security and Privacy Workshops (SPW)10.1109/SPW63631.2024.00024(200-214)Online publication date: 23-May-2024
- Ji RXu M(2023)Finding Specification Blind Spots via Fuzz Testing2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179438(2708-2725)Online publication date: May-2023
- Show More Cited By