Tom Coffey

27 papers B 1C 3Misc 2Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks.
IEEE Trans. Dependable Secur. Comput.
Anca Jurcut, Tom Coffey, Reiner Dojen
2014 J jnl
Design guidelines for security protocols to prevent replay & parallel session attacks.
Comput. Secur.
Anca D. Jurcut, Tom Coffey, Reiner Dojen
2014 C conf
Design requirements to counter parallel session attacks in security protocols.
PST
Anca D. Jurcut, Tom Coffey, Reiner Dojen
2014 — conf
On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool.
CN
Anca Jurcut, Tom Coffey, Reiner Dojen
2013 J jnl
Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool.
J. Commun.
Anca D. Jurcut, Tom Coffey, Reiner Dojen
2013 J jnl
On the detection of desynchronisation attacks against security protocols that use dynamic shared secrets.
Comput. Secur.
Ioana Lasc, Reiner Dojen, Tom Coffey
2012 B conf
Symmetry in Security Protocol Cryptographic Messages - A Serious Weakness Exploitable by Parallel Session Attacks.
ARES
Anca Jurcut, Tom Coffey, Reiner Dojen
2011 J jnl
A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications.
Int. J. Inf. Secur. Priv.
Ioana Lasc, Reiner Dojen, Tom Coffey
2011 J jnl
Comparative performance and energy consumption analysis of different AES implementations on a wireless sensor network node.
Int. J. Sens. Networks
Fan Zhang, Reiner Dojen, Tom Coffey
2011 J jnl
Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communications.
Comput. Electr. Eng.
Ioana Lasc, Reiner Dojen, Tom Coffey
2009 — conf
Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications.
MobiSec
Reiner Dojen, Vladimir Pasca, Tom Coffey
2008 C conf
Determining a parallel session attack on a key distribution protocol using a model checker.
MoMM
Vladimir Pasca, Anca Jurcut, Reiner Dojen, Tom Coffey
2008 Misc conf
On Establishing and Fixing a Parallel Session Attack in a Security Protocol.
IDC
Reiner Dojen, Anca Jurcut, Tom Coffey, Cornelia Györödi
2008 C conf
On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks.
IPCCC
Reiner Dojen, Fan Zhang, Tom Coffey
2006 J jnl
Mobile Agent Based Solutions for Knowledge Assessment in elearning Environments
CoRR
Mihaela Dînsoreanu, Cristian Godja, Claudiu Anghel, Ioan Salomie, Tom Coffey
2005 J jnl
The concept of layered proving trees and its application to the automation of security protocol verification.
ACM Trans. Inf. Syst. Secur.
Reiner Dojen, Tom Coffey
2003 — conf
A policy-based security framework for Web-enabled applications.
ISICT
Marian Ventuneac, Tom Coffey, Ioan Salomie
2003 — conf
Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt.
ISICT
Tom Coffey, Puneet Saidha, Peter Burrows
2003 — conf
Analysis of a mobile communication security protocol.
ISICT
Tom Coffey, Reiner Dojen
2003 J jnl
Formal verification logic for hybrid security protocols.
Comput. Syst. Sci. Eng.
Thomas Newe, Tom Coffey
2003 J jnl
Formal verification: an imperative step in the design of security protocols .
Comput. Networks
Tom Coffey, Reiner Dojen, Tomas Flanagan
2003 — conf
On Different Approaches to Establish the Security of Cryptographic Protocols.
Security and Management
Tom Coffey, Reiner Dojen, Tomas Flanagan
2003 — conf
On the automated implementation of modal logics used to verify security protocols.
ISICT
Tom Coffey, Reiner Dojen, Tomas Flanagan
2003 — conf
Security protocols for 2G and 3G wireless communications.
ISICT
Thomas Newe, Tom Coffey
1998 J jnl
Realisation of a minimum-knowledge identification and signature scheme.
Comput. Secur.
Tom Coffey, Thomas Newe
1996 J jnl
Non-repudiation with mandatory proof of receipt.
Comput. Commun. Rev.
Tom Coffey, Puneet Saidha
1992 Misc conf
Network Security: Design of a Global Secure Link.
SEC
Weijun Wang, Tom Coffey