Login / Signup
Gijs Vanspauwen
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Connectionist Models
Symbolic Data
Preprocessing Step
Protocol Specification
Top Venues
SEFM
</>
Publications
</>
Gijs Vanspauwen
,
Bart Jacobs
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.
SEFM
(2015)
Gijs Vanspauwen
,
Bart Jacobs
Sound Symbolic Linking in the Presence of Preprocessing.
SEFM
(2013)