Abstract:We introduce CryptoBap, a platform to verify weak secrecy and authentication for the (ARMv8 and RISC-V) machine code of cryptographic protocols. We achieve this by first transpiling the binary of protocols into an intermediate representation and then performing a crypto-aware symbolic execution to automatically extract a model of the protocol that represents all its execution paths. Our symbolic execution resolves
Read more
Tags: All, authentication, Code, Intermediate, and, protocol, platform, representation, arxiv, Extract, Cryptographic, Crypto, Model, Updated, Analysis
Related Posts
- Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems. (arXiv:2304.13458v3 [cs.CR] UPDATED)a
- DroidDissector: A Static and Dynamic Analysis Tool for Android Malware Detection. (arXiv:2308.04170v1 [cs.CR])a
- Amplification by Shuffling without Shuffling. (arXiv:2305.10867v2 [cs.CR] UPDATED)a
- You Can Backdoor Personalized Federated Learning. (arXiv:2307.15971v1 [cs.CR])a
- Understanding Large Language Model Based Fuzz Driver Generation. (arXiv:2307.12469v2 [cs.CR] UPDATED)a