Bachelor Informatica



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


Thesis details

TitleAutomatically Checking Group Diffie-Hellman and Xor in the Strand Space Model
StudentJongsma, E. (Erik)
ProgrammeBachelor Informatica
Year2008
Supervisorsdr. T. Chothia, CWI (first supervisor)

Citation details

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