Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives

TitleSymbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives
Publication TypeConference Paper
Year of Publication2018
AuthorsVanhoef M, Piessens F
Conference Name12th USENIX Workshop on Offensive Technologies (WOOT 18)
Date Published08/2018
PublisherUSENIX Association
Conference LocationBaltimore, MD
URLhttps://www.usenix.org/conference/woot18/presentation/vanhoef