Reiner Dojen

23 papers B 1C 3Misc 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Detection and Prevention of New Attacks for ID-based Authentication Protocols.
CoRR
Jinyong Chen, Reiner Dojen, Anca Jurcut
2020 — conf
Detection and Prevention of New Attacks for ID-based Authentication Protocols.
ICNCC
Jinyong Chen, Reiner Dojen, Anca Jurcut
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
2018 J jnl
A Vendor-Neutral Unified Core for Cryptographic Operations in GF(p) and GF(s
Secur. Commun. Networks
Martin Schramm, Reiner Dojen, Michael Heigl
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
EWAIP: An empirical Wireless Sensor Network applications implementation platform.
FGCT
Fan Zhang, 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
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
Analysis of a mobile communication security protocol.
ISICT
Tom Coffey, Reiner Dojen
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