Kristof Teichel

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 6

Top Topics

Virtual Private Network

Authentication Protocol

Chosen Plaintext

Formal Analysis

Top Venues

Publications

Daniel Fox Franke, Dieter Sibold, Kristof Teichel, Marcus Dansarie, Ragnar Sundblad
Network Time Security for the Network Time Protocol. RFC 8915 (2020)
Martin Langer, Kristof Teichel, Kai Heine, Dieter Sibold, Rainer Bermbach
Guards and Watchdogs in One-Way Synchronization with Delay-Related Authentication Mechanisms. ISPCS (2019)
Kristof Teichel, Gregor Hildermeier
Experimental Evaluation of Attacks on TESLA-Secured Time Synchronization Protocols. SSR (2018)
Kristof Teichel, Dieter Sibold, Gregor Hildermeier
Delayed Authentication and Delayed Measurement Application in One-Way Synchronization. ISPCS (2018)
Kristof Teichel, Dieter Sibold, Stefan Milius
An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms. ICISS (2016)
Kristof Teichel, Dieter Sibold, Stefan Milius
First Results of a Formal Analysis of the Network Time Security Specification. SSR (2015)