Mathy Vanhoef, Frank Piessens. Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives. In Christian Rossow, Yves Younan, editors, 12th USENIX Workshop on Offensive Technologies, WOOT 2018, Baltimore, MD, USA, August 13-14, 2018. USENIX Association, 2018. [doi]
Abstract is missing.