Network Security: Design of a Global Secure Link. - Weijun Wang; Tom Coffey (SEC, 1992)

Non-repudiation with mandatory proof of receipt. - Tom Coffey; Puneet Saidha (Comput. Commun. Rev., 1996)

Realisation of a minimum-knowledge identification and signature scheme. - Tom Coffey; Thomas Newe (Comput. Secur., 1998)

On Different Approaches to Establish the Security of Cryptographic Protocols. - Tom Coffey; Reiner Dojen; Tomas Flanagan (Security and Management, 2003)

Analysis of a mobile communication security protocol. - Tom Coffey; Reiner Dojen (ISICT, 2003)

On the automated implementation of modal logics used to verify security protocols. - Tom Coffey; Reiner Dojen; Tomas Flanagan (ISICT, 2003)

Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt. - Tom Coffey; Puneet Saidha; Peter Burrows (ISICT, 2003)

Security protocols for 2G and 3G wireless communications. - Thomas Newe; Tom Coffey (ISICT, 2003)

A policy-based security framework for Web-enabled applications. - Marian Ventuneac; Tom Coffey; Ioan Salomie (ISICT, 2003)

Formal verification: an imperative step in the design of security protocols . - Tom Coffey; Reiner Dojen; Tomas Flanagan (Comput. Networks, 2003)

Formal verification logic for hybrid security protocols. - Thomas Newe; Tom Coffey (Comput. Syst. Sci. Eng., 2003)

The concept of layered proving trees and its application to the automation of security protocol verification. - Reiner Dojen; Tom Coffey (ACM Trans. Inf. Syst. Secur., 2005)

Mobile Agent Based Solutions for Knowledge Assessment in elearning Environments - Mihaela Dînsoreanu; Cristian Godja; Claudiu Anghel; Ioan Salomie; Tom Coffey (CoRR, 2006)

On Establishing and Fixing a Parallel Session Attack in a Security Protocol. - Reiner Dojen; Anca Jurcut; Tom Coffey; Cornelia Györödi (IDC, 2008)

On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks. - Reiner Dojen; Fan Zhang; Tom Coffey (IPCCC, 2008)

Determining a parallel session attack on a key distribution protocol using a model checker. - Vladimir Pasca; Anca Jurcut; Reiner Dojen; Tom Coffey (MoMM, 2008)

Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications. - Reiner Dojen; Vladimir Pasca; Tom Coffey (MobiSec, 2009)

Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communications. - Ioana Lasc; Reiner Dojen; Tom Coffey (Comput. Electr. Eng., 2011)

A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications. - Ioana Lasc; Reiner Dojen; Tom Coffey (Int. J. Inf. Secur. Priv., 2011)

Comparative performance and energy consumption analysis of different AES implementations on a wireless sensor network node. - Fan Zhang; Reiner Dojen; Tom Coffey (Int. J. Sens. Networks, 2011)

Symmetry in Security Protocol Cryptographic Messages - A Serious Weakness Exploitable by Parallel Session Attacks. - Anca Jurcut; Tom Coffey; Reiner Dojen (ARES, 2012)

On the detection of desynchronisation attacks against security protocols that use dynamic shared secrets. - Ioana Lasc; Reiner Dojen; Tom Coffey (Comput. Secur., 2013)

Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool. - Anca D. Jurcut; Tom Coffey; Reiner Dojen (J. Commun., 2013)

On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool. - Anca Jurcut; Tom Coffey; Reiner Dojen (CN, 2014)

Design requirements to counter parallel session attacks in security protocols. - Anca D. Jurcut; Tom Coffey; Reiner Dojen (PST, 2014)

Design guidelines for security protocols to prevent replay & parallel session attacks. - Anca D. Jurcut; Tom Coffey; Reiner Dojen (Comput. Secur., 2014)

A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks. - Anca Jurcut; Tom Coffey; Reiner Dojen (IEEE Trans. Dependable Secur. Comput., 2019)