Concepedia

Jannik Dreier

JD

Statistics

Publications

15

Citations

822

H-Index

12

Active since

2011

Affiliations

Centre National de la Recherche Scientifique(Current)

Université de Lorraine

Université Grenoble Alpes

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Jannik Dreier is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and protocol verification.

Publications per year

2011–2022

15

Publications

15

A Formal Analysis of 5G Authentication

David Basin, Jannik Dreier, Lucca Hirschi et al. · 2018 · 396 citations · Full text

Computing, Computer Science, Information Technology +17

Automated Symbolic Proofs of Observational Equivalence

David Basin, Jannik Dreier, Ralf Sasse · 2015 · 73 citations · Full text

Computing, Computer Science, Cryptography +16

Practical Privacy-Preserving Multiparty Linear Programming Based on Problem Transformation

Jannik Dreier, Florian Kerschbaum · 2011 · 51 citations

Computing, Computer Science, Supply Chain Management +13

Symbolically analyzing security protocols using tamarin

David Basin, Cas Cremers, Jannik Dreier et al. · ACM SIGLOG News · 2017 · 47 citations · Full text

Computing, Computer Science, Cybersecurity +12

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Jannik Dreier, Lucca Hirschi, Saša Radomirović et al. · 2018 · 42 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 15