This thesis was presented to Stockholm University as partial
fulfillment of the requirements for the degree of Master of Science in
Computing Science.
The work was performed at RSA Security in Stockholm, Sweden.
Supervisor at RSA Security was Magnus Nyström. Mikael Goldmann was
supervisor at the Department of Numerical Analysis and Computer
Science (NADA). Examiner was Stefan Arnborg.