Gijs Vanspauwen

According to our database, Gijs Vanspauwen authored at least 2 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.

Gijs Vanspauwen, Bart Jacobs

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2013

Sound Symbolic Linking in the Presence of Preprocessing.

Gijs Vanspauwen, Bart Jacobs

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013