Ian Stark

Presheaf Models for the pi-Calculus

Glynn Winskel, Gian Luca Cattani, Ian Stark, 1997, Category Theory and Computer Science.

Trustworthy Global Computing

Erik Poll, Lennart Beringer, Martin Hofmann, 2008 .

Foundations of Software Science and Computational Structures

Ian Stark, 2005 .

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

Peter G. Neumann, Robert N. M. Watson, Simon W. Moore, 2020, 2020 IEEE Symposium on Security and Privacy (SP).