USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives
Submitted by arnold on June 28, 2018 - 4:08 pm
Title | Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Vanhoef M, Piessens F |
Conference Name | 12th USENIX Workshop on Offensive Technologies (WOOT 18) |
Date Published | 08/2018 |
Publisher | USENIX Association |
Conference Location | Baltimore, MD |
URL | https://www.usenix.org/conference/woot18/presentation/vanhoef |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX