Andrew Butterfield

Beg A, Butterfield A.  2010.  Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.

Butterfield A, O’Cathain A.  2009.  Concurrent Models of Flash Memory Device Behaviour. Proceedings of Brazilian Symposium on Formal Methods SBMF 2009Proceedings of Brazilian Symposium on Formal Methods SBMF 2009.

Gancarski P, Butterfield A.  2009.  The Denotational Semantics of slotted-Circus. Proceedings of the 2nd World Congress on Formal MethodsProceedings of the 2nd World Congress on Formal Methods. LNCS 5850

Bresciani R, Butterfield A.  2009.  A formal security proof for the ZRTP Protocol. The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009).

Bresciani R, Butterfield A.  2009.  Weakening the Dolev-Yao model through probability. SIN ’09: Proceedings of the 2nd international conference on Security of information and networksSIN ’09: Proceedings of the 2nd international conference on Security of information and networks.

Tyrrell M, Morris J, Butterfield A, Hughes A.  2006.  A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. International Conference of Theoretical Aspects of Computing (ICTAC 2006)International Conference of Theoretical Aspects of Computing (ICTAC 2006).