Reiner Dojen

发表

Extending CAPSL for Logic-Based Verifications

Liang Tian, Reiner Dojen, Tom Coffey, 2005 .

An Empirical Analysis of Automated Verification of Wireless Security Protocols

Reiner Dojen, Tom Coffey, Marian Ventuneac, 2005 .

Applying Conditional Linear Cryptanalysis to Ciphers with Key- Dependant Operations

Reiner Dojen, Tom Coffey, 2005 .

A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks

Anca D. Jurcut, Reiner Dojen, Tom Coffey, 2019, IEEE Transactions on Dependable and Secure Computing.

Design requirements to counter parallel session attacks in security protocols

Reiner Dojen, Tom Coffey, Anca Jurcut, 2014, 2014 Twelfth Annual International Conference on Privacy, Security and Trust.

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

Reiner Dojen, Tom Coffey, Ioana Lasc, 2011, Comput. Electr. Eng..

Comparative performance and energy consumption analysis of different AES implementations on a wireless sensor network node

Fan Zhang, Reiner Dojen, Tom Coffey, 2011, Int. J. Sens. Networks.

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

Reiner Dojen, Tom Coffey, Anca Jurcut, 2012, 2012 Seventh International Conference on Availability, Reliability and Security.

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

Vladimir Pasca, Reiner Dojen, Tom Coffey, 2009, MobiSec.

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

Reiner Dojen, Tom Coffey, Anca Jurcut, 2014, CN.

A CaseStudy on Automation ofVerification Logics

Reiner Dojen, 2005 .

The concept of layered proving trees and its application to the automation of security protocol verification

Reiner Dojen, Tom Coffey, 2005, TSEC.

Establishing and preventing a new replay attack on a non-repudiation protocol

Reiner Dojen, Tom Coffey, Carla Muntean, 2009, 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing.

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

Reiner Dojen, Tom Coffey, Anca Jurcut, 2008, IDC.

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

Vladimir Pasca, Reiner Dojen, Tom Coffey, 2008, MoMM.

A security protocol specification language extension for modal logic-based verification

Liang Tian, Reiner Dojen, Tom Coffey, 2007 .

A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications

Reiner Dojen, Tom Coffey, Ioana Lasc, 2011, Int. J. Inf. Secur. Priv..

Applying linear cryptanalysis to ciphers with key-dependant operations

Reiner Dojen, Tom Coffey, 2004 .

Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool

Reiner Dojen, Tom Coffey, Anca Jurcut, 2013, J. Commun..

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

Reiner Dojen, Tom Coffey, Tomas Flanagan, 2003, Comput. Networks.

On the detection of desynchronisation attacks against security protocols that use dynamic shared secrets

Reiner Dojen, Tom Coffey, Ioana Lasc, 2013, Comput. Secur..

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

Anca D. Jurcut, Reiner Dojen, Tom Coffey, 2014, Comput. Secur..

A Novel Approach to the Automation of Logic-Based Security Protocol Verification

Reiner Dojen, Tom Coffey, R. Dojen, 2004 .

A Vendor-Neutral Unified Core for Cryptographic Operations in GF(p) and GF(sm) Based on Montgomery Arithmetic

Martin Schramm, Michael Heigl, Reiner Dojen, 2018, Secur. Commun. Networks.

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

Fan Zhang, Reiner Dojen, Tom Coffey, 2008, 2008 IEEE International Performance, Computing and Communications Conference.

Analysis of a mobile communication security protocol

Reiner Dojen, Tom Coffey, 2003, ISICT.

On modelling security protocols for logic-based verification

Reiner Dojen, Tom Coffey, Jinyong Chen, 2014 .

EWAIP: An empirical Wireless Sensor Network applications implementation platform

Fan Zhang, Reiner Dojen, 2014, Third International Conference on Future Generation Communication Technologies (FGCT 2014).

On Different Approaches to Establish the Security of Cryptographic Protocols

Reiner Dojen, Tom Coffey, Tomas Flanagan, 2003, Security and Management.

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

Reiner Dojen, Tom Coffey, Tomas Flanagan, 2003, ISICT.

Detection and Prevention of New Attacks for ID-based Authentication Protocols

Reiner Dojen, Jinyong Chen, Anca Jurcut, 2021, ArXiv.

Security Protocol Design: A Case Study Using Key Distribution Protocols

Reiner Dojen, Tom Coffey, Robert Gyorodi, 2009 .

Experimental assessment of FIRO- and GARO-based noise sources for digital TRNG designs on FPGAs

Martin Schramm, Reiner Dojen, Michael Heigl, 2017, 2017 International Conference on Applied Electronics (AE).

Analysis of a key-establishment security protocol

Reiner Dojen, Tom Coffey, Robert Gyorodi, 2008 .