Tom Coffey

According to our database, Tom Coffey authored at least 27 papers between 1992 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

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

2014

Design guidelines for security protocols to prevent replay & parallel session attacks.

Anca D. Jurcut, Tom Coffey, Reiner Dojen

Comput. Secur., 2014

Design requirements to counter parallel session attacks in security protocols.

Anca D. Jurcut, Tom Coffey, Reiner Dojen

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool.

Anca Jurcut, Tom Coffey, Reiner Dojen

Proceedings of the Computer Networks - 21st International Conference, 2014

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 detection of desynchronisation attacks against security protocols that use dynamic shared secrets.

Ioana Lasc, Reiner Dojen, Tom Coffey

Comput. Secur., 2013

2012

Symmetry in Security Protocol Cryptographic Messages - A Serious Weakness Exploitable by Parallel Session Attacks.

Anca Jurcut, Tom Coffey, Reiner Dojen

Proceedings of the Seventh International Conference on Availability, 2012

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

A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications.

Ioana Lasc, Reiner Dojen, Tom Coffey

Int. J. Inf. Secur. Priv., 2011

Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communications.

Ioana Lasc, Reiner Dojen, Tom Coffey

Comput. Electr. Eng., 2011

2009

Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications.

Reiner Dojen, Vladimir Pasca, Tom Coffey

Proceedings of the Security and Privacy in Mobile Information and Communication Systems, 2009

2008

Determining a parallel session attack on a key distribution protocol using a model checker.

Vladimir Pasca, Anca Jurcut, Reiner Dojen, Tom Coffey

Proceedings of the MoMM'2008 - The 6th International Conference on Advances in Mobile Computing and Multimedia, 24, 2008

On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks.

Reiner Dojen, Fan Zhang, Tom Coffey

Proceedings of the 2008 IEEE International Performance, 2008

On Establishing and Fixing a Parallel Session Attack in a Security Protocol.

Reiner Dojen, Anca Jurcut, Tom Coffey, Cornelia Györödi

Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

2006

Mobile Agent Based Solutions for Knowledge Assessment in elearning Environments

Mihaela Dînsoreanu, Cristian Godja, Claudiu Anghel, Ioan Salomie, Tom Coffey

CoRR, 2006

2005

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

2003

Formal verification logic for hybrid security protocols.

Thomas Newe, Tom Coffey

Comput. Syst. Sci. Eng., 2003

Formal verification: an imperative step in the design of security protocols .

Tom Coffey, Reiner Dojen, Tomas Flanagan

Comput. Networks, 2003

A policy-based security framework for Web-enabled applications.

Marian Ventuneac, Tom Coffey, Ioan Salomie

Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003

Security protocols for 2G and 3G wireless communications.

Thomas Newe, Tom Coffey

Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003

Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt.

Tom Coffey, Puneet Saidha, Peter Burrows

Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003

On the automated implementation of modal logics used to verify security protocols.

Tom Coffey, Reiner Dojen, Tomas Flanagan

Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003

Analysis of a mobile communication security protocol.

Tom Coffey, Reiner Dojen

Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003

On Different Approaches to Establish the Security of Cryptographic Protocols.

Tom Coffey, Reiner Dojen, Tomas Flanagan

Proceedings of the International Conference on Security and Management, 2003

1998

Realisation of a minimum-knowledge identification and signature scheme.

Tom Coffey, Thomas Newe

Comput. Secur., 1998

1996

Non-repudiation with mandatory proof of receipt.

Tom Coffey, Puneet Saidha

Comput. Commun. Rev., 1996

1992

Network Security: Design of a Global Secure Link.

Weijun Wang, Tom Coffey

Proceedings of the IT Security: The Need for International Cooperation, 1992