Show simple item record

Symbolic execution of security protocol implementations: handling cryptographic primitives

dc.contributor.authorVanhoef, Mathy
dc.contributor.authorPiessens, Frank
dc.date.accessioned2021-10-26T07:57:27Z
dc.date.available2021-10-26T07:57:27Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/32146
dc.sourceIIOimport
dc.titleSymbolic execution of security protocol implementations: handling cryptographic primitives
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.conference12th USENIX Workshop on Offensive Technologies (WOOT '18)
dc.source.conferencedate13/08/2018
dc.source.conferencelocationBaltimore, MD USA
dc.identifier.urlhttps://www.usenix.org/conference/woot18/presentation/vanhoef
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
42516.pdf
Size:
170.2Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record