 | 2011 |
|---|
| 12 |       | Ioana Lasc,
Reiner Dojen,
Tom Coffey:
Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communications.
Computers & Electrical Engineering 37(2): 160-168 (2011) |
| 11 | | Ioana Lasc,
Reiner Dojen,
Tom Coffey:
A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications.
IJISP 5(1): 33-49 (2011) |
| 10 | | Fan Zhang,
Reiner Dojen,
Tom Coffey:
Comparative performance and energy consumption analysis of different AES implementations on a wireless sensor network node.
IJSNet 10(4): 192-201 (2011) |
| 2009 |
|---|
| 9 | | Reiner Dojen,
Vladimir Pasca,
Tom Coffey:
Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications.
MobiSec 2009: 278-287 |
| 2008 |
|---|
| 8 | | Reiner Dojen,
Anca Jurcut,
Tom Coffey,
Cornelia Györödi:
On Establishing and Fixing a Parallel Session Attack in a Security Protocol.
IDC 2008: 239-244 |
| 7 | | Reiner Dojen,
Fan Zhang,
Tom Coffey:
On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks.
IPCCC 2008: 499-506 |
| 6 | | Vladimir Pasca,
Anca Jurcut,
Reiner Dojen,
Tom Coffey:
Determining a parallel session attack on a key distribution protocol using a model checker.
MoMM 2008: 150-155 |
| 2005 |
|---|
| 5 | | Reiner Dojen,
Tom Coffey:
The concept of layered proving trees and its application to the automation of security protocol verification.
ACM Trans. Inf. Syst. Secur. 8(3): 287-311 (2005) |
| 2003 |
|---|
| 4 | | Tom Coffey,
Reiner Dojen:
Analysis of a mobile communication security protocol.
ISICT 2003: 322-328 |
| 3 | | Tom Coffey,
Reiner Dojen,
Tomas Flanagan:
On the automated implementation of modal logics used to verify security protocols.
ISICT 2003: 329-334 |
| 2 |  | Tom Coffey,
Reiner Dojen,
Tomas Flanagan:
On Different Approaches to Establish the Security of Cryptographic Protocols.
Security and Management 2003: 637-643 |
| 1 | | Tom Coffey,
Reiner Dojen,
Tomas Flanagan:
Formal verification: an imperative step in the design of security protocols .
Computer Networks 43(5): 601-618 (2003) |
Data released under the ODC-BY 1.0 license — See also our legal information page