Formalising Key-Distribution in the Presence of Trust using Object-Z. - Benjamin W. Long (ACSW, 2003)

Formal Verification of Type Flaw Attacks in Security Protocols. - Benjamin W. Long (APSEC, 2003)

A Z Based Approach to Verifying Security Protocols. - Benjamin W. Long; Colin J. Fidge; Antonio Cerone (ICFEM, 2003)

Formal Specification of Java Concurrency to Assist Software Verification. - Brad Long; Benjamin W. Long (IPDPS, 2003)

Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. - Benjamin W. Long (ZB, 2005)

Formally Analysing a Security Protocol for Replay Attacks. - Benjamin W. Long; Colin J. Fidge (ASWEC, 2006)

Specifying and verifying key distribution protocols: a layered approach - Benjamin W. Long (2006)

Cross-Layer Verification of Type Flaw Attacks on Security Protocols. - Benjamin W. Long; Colin J. Fidge; David A. Carrington (ACSC, 2007)

Security in Depth through Smart Space Cascades. - Benjamin W. Long (ACISP, 2011)