Login / Signup
Tobias Heider
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 4
Top Topics
Augmented Reality
Provably Secure
Formal Analysis
Lightweight
Top Venues
Krypto-Tag
ACSAC
SSR
DSC
</>
Publications
</>
Stefan-Lukas Gazdag
,
Sophia Grundner-Culemann
,
Tobias Heider
,
Daniel Herzinger
,
Felix Schärtl
,
Joo Yeon Cho
,
Tobias Guggemos
,
Daniel Loebenberger
Quantum-Resistant MACsec and IPsec for Virtual Private Networks.
SSR
(2023)
Stefan-Lukas Gazdag
,
Sophia Grundner-Culemann
,
Tobias Guggemos
,
Tobias Heider
,
Daniel Loebenberger
A formal analysis of IKEv2's post-quantum extension.
ACSAC
(2021)
Joo Cho
,
Stefan-Lukas Gazdag
,
Alexander von Gernler
,
Helmut Grießer
,
Sophia Grundner-Culemann
,
Tobias Guggemos
,
Tobias Heider
,
Daniel Loebenberger
Towards Quantum-resistant Virtual Private Networks.
Krypto-Tag
(2019)
Nils gentschen Felde
,
Tobias Guggemos
,
Tobias Heider
,
Dieter Kranzlmüller
Secure group key distribution in constrained environments with IKEv2.
DSC
(2017)