- A derivational system and compositional logic for security protocols
- with A. Datta, A. Derek and J. Mitchell
- An encapsulated authentication logic for reasoning about key distribution protocols
- with I. Cervesato and C. Meadows
- Deriving, attacking and defending GDOI
- Abstraction and refinement in protocol derivation
- with A. Datta, A. Derek and J. Mitchell
- Secure protocol composition
- with A. Datta and A. Derek and J. Mitchell
- Derivation system for security protocols and its logical formalization
- with A. Datta, A. Derek and J. Mitchell
- Compositional logic for protocol correctness
- with N. Durgin and J. Mitchell
- Composition and refinement of behavioral specifications