International Association for Cryptologic Research

Ph.D. Database

The aim of the IACR Ph.D. database is twofold. On the first hand, we want to offer an overview of Ph.D. already completed in the domain of cryptology. Where possible, this should also include a subject classification, an abstract, and access to the full text. On the second hand, it deals with Ph.D. subjects currently under investigation. This way, we provide a timely map of contemporary research in cryptology. All entries or changes need to be approved by an editor. You can contact them via phds (at)


Mark D. Ryan (#693)
Name Mark D. Ryan
Personal Homepage
Topic of his/her doctorate. Ordered Presentations of Theories: A Hierarchical Approach to Default Reasoning
Category (no category)
Last Change 2011-09-27 23:58:58
To provide an update on this entry, please click .

Mark D. Ryan's Students

Ben Smyth - Formal verification of cryptographic protocols with automated reasoning (cryptographic protocols)

Contact: phds (at)

[ IACR home page ] [ IACR PhDs page ] © IACR