Benedikt Schmidt

28 papers A* 5A 1C 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
APT: Alarm Prediction Transformer.
Expert Syst. Appl.
Nika Strem, Devendra Singh Dhami, Benedikt Schmidt, Benjamin Klöpper, Kristian Kersting
2025 J jnl
Multimodal transformer for early alarm prediction.
Eng. Appl. Artif. Intell.
Nika Strem, Devendra Singh Dhami, Benedikt Schmidt, Kristian Kersting
2023 J jnl
Explainability as fig leaf? An exploration of experts' ethical expectations towards machine learning in psychiatry.
AI Ethics
Georg Starke, Benedikt Schmidt, Eva M. De Clercq, Bernice Simone Elger
2022 J jnl
Industrial challenges for AI systems engineering.
Autom.
Ingo Sawilla, Christian Weber, Benedikt Schmidt, Marco Ulrich
2021 — conf
Model-based Control of a Gravimetric Dosing Conveyor for Alternative Fuels in the Cement Industry.
ICSET
Hareesh Konanki, Alexander Elbel, Benedikt Schmidt, Sairam Nandyala, Alfons Noe, Dominik Aufderheide
2021 C conf
Practical Aspects for Exploration and Analysis of Manual Interventions in Process Plants.
INDIN
Benedikt Schmidt, Reuben Borrison, Marco Gärtler, Sylvia Maczey, Arzam Kotriwala
2021 — conf
Practical Challenges of Virtual Assistants and Voice Interfaces in Industrial Applications.
HICSS
Marco Gärtler, Benedikt Schmidt
2019 J jnl
Automated Analysis of Cryptographic Assumptions in Generic Group Models.
J. Cryptol.
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
2018 — conf
Industrial Virtual Assistants: Challenges and Opportunities.
UbiComp/ISWC Adjunct
Benedikt Schmidt, Reuben Borrison, Andrew Cohen, Marcel Dix, Marco Gärtler, Martin Hollender, Benjamin Klöpper, Sylvia Maczey, Shunmuga Siddharthan
2017 — conf
Generic Transformations of Predicate Encodings: Constructions and Applications.
CRYPTO (1)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
2017 A* conf
Jasmin: High-Assurance and High-Speed Cryptography.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub
2017 A* conf
Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
IEEE Symposium on Security and Privacy
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
2016 — conf
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.
EUROCRYPT (2)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
2016 J jnl
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
2016 J jnl
Generic Transformations of Predicate Encodings: Constructions and Applications.
IACR Cryptol. ePrint Arch.
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
2016 A* conf
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.
IEEE Symposium on Security and Privacy
Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi
2016 J jnl
Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds.
IET Inf. Secur.
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
2015 A* conf
Automated Proofs of Pairing-Based Cryptography.
CCS
Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt
2015 — conf
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols.
EUROCRYPT (2)
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
2015 J jnl
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
2015 — conf
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds.
Public Key Cryptography
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
2015 J jnl
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
2014 — conf
Automated Analysis of Cryptographic Assumptions in Generic Group Models.
CRYPTO (1)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
2014 J jnl
Automated Analysis of Cryptographic Assumptions in Generic Group Models.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
2014 A conf
Certified Synthesis of Efficient Batch Verifiers.
CSF
Joseph A. Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub
2013 — conf
EasyCrypt: A Tutorial.
FOSAD
Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
2013 A* conf
Fully automated analysis of padding-based encryption in the computational model.
CCS
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella-Béguelin
2013 J jnl
On active information storage in input-driven systems
CoRR
Oliver Obst, Joschka Boedecker, Benedikt Schmidt, Minoru Asada