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)

Formal verification: an imperative step in the design of security protocols . - Tom Coffey; Reiner Dojen; Tomas Flanagan (Comput. Networks, 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)

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)

EWAIP: An empirical Wireless Sensor Network applications implementation platform. - Fan Zhang; Reiner Dojen (FGCT, 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 Vendor-Neutral Unified Core for Cryptographic Operations in GF(p) and GF(sm) Based on Montgomery Arithmetic. - Martin Schramm; Reiner Dojen; Michael Heigl (Secur. Commun. Networks, 2018)

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)

Detection and Prevention of New Attacks for ID-based Authentication Protocols. - Jinyong Chen; Reiner Dojen; Anca Jurcut (ICNCC, 2020)