DBLP: Reiner Dojen

	2013
j6		Ioana Lasc, Reiner Dojen, Tom Coffey: On the detection of desynchronisation attacks against security protocols that use dynamic shared secrets. Computers & Security 32: 115-129 (2013)
	2012
c8		Anca Jurcut, Tom Coffey, Reiner Dojen: Symmetry in Security Protocol Cryptographic Messages - A Serious Weakness Exploitable by Parallel Session Attacks. ARES 2012: 410-416
	2011
j5		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)
j4		Ioana Lasc, Reiner Dojen, Tom Coffey: A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications. IJISP 5(1): 33-49 (2011)
j3		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
c7		Reiner Dojen, Vladimir Pasca, Tom Coffey: Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications. MobiSec 2009: 278-287
	2008
c6		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
c5		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
c4		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
j2		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
j1		Tom Coffey, Reiner Dojen, Tomas Flanagan: Formal verification: an imperative step in the design of security protocols . Computer Networks 43(5): 601-618 (2003)
c3		Tom Coffey, Reiner Dojen, Tomas Flanagan: On Different Approaches to Establish the Security of Cryptographic Protocols. Security and Management 2003: 637-643
c2		Tom Coffey, Reiner Dojen: Analysis of a mobile communication security protocol. ISICT 2003: 322-328
c1		Tom Coffey, Reiner Dojen, Tomas Flanagan: On the automated implementation of modal logics used to verify security protocols. ISICT 2003: 329-334

2013

Ioana Lasc, Reiner Dojen, Tom Coffey: On the detection of desynchronisation attacks against security protocols that use dynamic shared secrets. Computers & Security 32: 115-129 (2013)

2012

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

2011

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)

Ioana Lasc, Reiner Dojen, Tom Coffey: A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications. IJISP 5(1): 33-49 (2011)

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

Reiner Dojen, Vladimir Pasca, Tom Coffey: Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications. MobiSec 2009: 278-287

2008

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

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

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

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

Tom Coffey, Reiner Dojen, Tomas Flanagan: Formal verification: an imperative step in the design of security protocols . Computer Networks 43(5): 601-618 (2003)

Tom Coffey, Reiner Dojen, Tomas Flanagan: On Different Approaches to Establish the Security of Cryptographic Protocols. Security and Management 2003: 637-643

Tom Coffey, Reiner Dojen: Analysis of a mobile communication security protocol. ISICT 2003: 322-328

Tom Coffey, Reiner Dojen, Tomas Flanagan: On the automated implementation of modal logics used to verify security protocols. ISICT 2003: 329-334

1	Tom Coffey	[j6] [c8] [j5] [j4] [j3] [c7] [c6] [c5] [c4] [j2] [j1] [c3] [c2] [c1]
2	Tomas Flanagan	[j1] [c3] [c1]
3	Cornelia Györödi	[c6]
4	Anca Jurcut	[c8] [c6] [c4]
5	Ioana Lasc	[j6] [j5] [j4]
6	Vladimir Pasca	[c7] [c4]
7	Fan Zhang	[j3] [c5]

Reiner Dojen

Coauthor Index