Browse by Author

Authors (A-Z) Drielsma, Paul David Hankes

2 Results for Drielsma, Paul David Hankes

Subscribe to RSS feed for this result set

1. Building formal models of next-generation security protocols

Drielsma, Paul David Hankes (2007)


Doctoral and Habilitation Theses

2. Formalizing and analyzing sender invariance

Drielsma, Paul David Hankes, Mödersheim, Sebastian, Viganò, Luca and Basin, David A.


Reports