Reiner Dojen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2020

Detection and Prevention of New Attacks for ID-based Authentication ProtocolsJinyong Chen, Reiner Dojen, Anca Jurcut. icncc 2020: 78-86 [doi]

2019

A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session AttacksAnca Jurcut, Tom Coffey, Reiner Dojen. tdsc, 16(6):969-983, 2019. [doi]

2018

m) Based on Montgomery ArithmeticMartin Schramm, Reiner Dojen, Michael Heigl. scn, 2018, 2018. [doi]

2014

2013

Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification ToolAnca D. Jurcut, Tom Coffey, Reiner Dojen. jcm, 8(3):795-805, 2013. [doi]

On the detection of desynchronisation attacks against security protocols that use dynamic shared secretsIoana Lasc, Reiner Dojen, Tom Coffey. compsec, 32:115-129, 2013. [doi]

2012

Symmetry in Security Protocol Cryptographic Messages - A Serious Weakness Exploitable by Parallel Session AttacksAnca Jurcut, Tom Coffey, Reiner Dojen. IEEEares 2012: 410-416 [doi]

2011

Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communicationsIoana Lasc, Reiner Dojen, Tom Coffey. cee, 37(2):160-168, 2011. [doi]

A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite CommunicationsIoana Lasc, Reiner Dojen, Tom Coffey. ijisp, 5(1):33-49, 2011. [doi]

Comparative performance and energy consumption analysis of different AES implementations on a wireless sensor network nodeFan Zhang, Reiner Dojen, Tom Coffey. ijsnet, 10(4):192-201, 2011. [doi]

2009

Impersonation Attacks on a Mobile Security Protocol for End-to-End CommunicationsReiner Dojen, Vladimir Pasca, Tom Coffey. mobisec 2009: 278-287 [doi]

2008

2005

The concept of layered proving trees and its application to the automation of security protocol verificationReiner Dojen, Tom Coffey. tissec, 8(3):287-311, 2005. [doi]

2003

Sign in or sign up to see more results.

runs on WebDSL