Symbolic execution of security protocol implementations: handling cryptographic primitives

Vanhoef, MathyMathyVanhoefPiessens, FrankFrankPiessens2021-10-262021-10-262018https://imec-publications.be/handle/20.500.12860/32146Symbolic execution of security protocol implementations: handling cryptographic primitivesProceedings paperhttps://www.usenix.org/conference/woot18/presentation/vanhoef