Bachelor Informatica



The following thesis was written by a student in the 2008 class of the Bachelor Informatica programme at Leiden University.


Thesis details

Title Automatically Checking Group Diffie-Hellman and Xor in the Strand Space Model
Student Erik Jongsma
Programme Bachelor Informatica
Year 2008

Citation details

Erik Jongsma, Automatically Checking Group Diffie-Hellman and Xor in the Strand Space Model, Thesis Bachelor Informatica, Leiden University, 2008.