Các bài viết có thể truy cập công khai - Jannik DreierTìm hiểu thêm
Có tại một số nơi: 13
A formal analysis of 5G authentication
D Basin, J Dreier, L Hirschi, S Radomirovic, R Sasse, V Stettler
Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018
Các cơ quan ủy nhiệm: European Commission
Physical zero-knowledge proof for Makaro
X Bultel, J Dreier, JG Dumas, P Lafourcade, D Miyahara, T Mizuki, ...
Stabilization, Safety, and Security of Distributed Systems: 20th …, 2018
Các cơ quan ủy nhiệm: Department of Science & Technology, India
Beyond subterm-convergent equational theories in automated verification of stateful protocols
J Dreier, C Duménil, S Kremer, R Sasse
International Conference on Principles of Security and Trust, 117-140, 2017
Các cơ quan ủy nhiệm: European Commission
Automated unbounded verification of stateful cryptographic protocols with exclusive OR
J Dreier, L Hirschi, S Radomirovic, R Sasse
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 359-373, 2018
Các cơ quan ủy nhiệm: UK Engineering and Physical Sciences Research Council, European Commission
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols
V Cortier, S Delaune, J Dreier, E Klein
Journal of Computer Security 30 (4), 573-598, 2022
Các cơ quan ủy nhiệm: European Commission, Agence Nationale de la Recherche
A novel approach for reasoning about liveness in cryptographic protocols and its application to fair exchange
M Backes, J Dreier, S Kremer, R Künnemann
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 76-91, 2017
Các cơ quan ủy nhiệm: European Commission, Federal Ministry of Education and Research, Germany
Security analysis and psychological study of authentication methods with PIN codes
X Bultel, J Dreier, M Giraud, M Izaute, T Kheyrkhah, P Lafourcade, ...
2018 12th International Conference on Research Challenges in Information …, 2018
Các cơ quan ủy nhiệm: Department of Science & Technology, India
Formally and practically verifying flow properties in industrial systems
J Dreier, M Puys, ML Potet, P Lafourcade, JL Roch
computers & security 86, 453-470, 2019
Các cơ quan ủy nhiệm: Department of Science & Technology, India, Agence Nationale de la Recherche
Themis: an on-site voting system with systematic cast-as-intended verification and partial accountability
M Bougon, H Chabanne, V Cortier, A Debant, E Dottax, J Dreier, ...
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Formal analysis of combinations of secure protocols
E Blot, J Dreier, P Lafourcade
International Symposium on Foundations and Practice of Security, 53-67, 2017
Các cơ quan ủy nhiệm: Department of Science & Technology, India
A Cryptographer's Conspiracy Santa
X Bultel, J Dreier, JG Dumas, P Lafourcade
FUN 2018-9th International Conference on Fun with Algorithms, 13: 1--13: 13, 2018
Các cơ quan ủy nhiệm: Department of Science & Technology, India, European Commission
Shaken, not Stirred-Automated Discovery of Subtle Attacks on Protocols using {Mix-Nets}
J Dreier, P Lafourcade, D Mahmoud
33rd USENIX Security Symposium (USENIX Security 24), 3135-3150, 2024
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
A faster cryptographer's Conspiracy Santa
X Bultel, J Dreier, JG Dumas, P Lafourcade
Theoretical Computer Science 839, 122-134, 2020
Các cơ quan ủy nhiệm: Department of Science & Technology, India, European Commission
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ