Benedikt Schmidt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
17
Active years
2010–2021
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | INDIN | Practical Aspects for Exploration and Analysis of Manual Interventions in Process Plants. | Benedikt Schmidt, Reuben Borrison, Marco Grtler, Sylvia Maczey, Arzam Kotriwala |
| 2018 | Mobiquitous | Tour Guides Get Guided: Intelligent Coordination of Simultaneous Tours in Exhibition Environments. | Christian Meurisch, Lulzim Murati, Rdiger Eichin, Benedikt Schmidt, Max Mhlhuser |
| 2017 | CCS | Jasmin: High-Assurance and High-Speed Cryptography. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub |
| 2017 | COMPSAC | An Extensible Pervasive Platform for Large-Scale Anticipatory Mobile Computing. | Christian Meurisch, Bennet Jeutter, Wladimir Schmidt, Nickolas Gundling, Benedikt Schmidt, Fabian Herrlich, Max Mhlhuser |
| 2017 | CRYPTO | Generic Transformations of Predicate Encodings: Constructions and Applications. | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |
| 2017 | Mobiquitous | Capturing Daily Student Life by Recognizing Complex Activities Using Smartphones. | Christian Meurisch, Artur Gogel, Benedikt Schmidt, Timo Nolle, Frederik Janssen, Immanuel Schweizer, Max Mhlhuser |
| 2017 | SP | Machine-Checked Proofs of Privacy for Electronic Voting Protocols. | Vronique Cortier, Constantin Catalin Dragan, Franois Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi |
| 2016 | EuroCrypt | Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |
| 2016 | ICIS | Process Compliance Checking using Taint Flow Analysis. | Alexander Seeliger, Timo Nolle, Benedikt Schmidt, Max Mhlhuser |
| 2016 | IUI | What Belongs Together Comes Together: Activity-centric Document Clustering for Information Work. | Alexander Seeliger, Benedikt Schmidt, Immanuel Schweizer, Max Mhlhuser |
| 2016 | SP | Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3. | Marc Fischlin, Felix Gnther, Benedikt Schmidt, Bogdan Warinschi |
| 2015 | CCS | Automated Proofs of Pairing-Based Cryptography. | Gilles Barthe, Benjamin Grgoire, Benedikt Schmidt |
| 2015 | EMNLP | More Features Are Not Always Better: Evaluating Generalizing Models in Incident Type Classification of Tweets. | Axel Schulz, Christian Guckelsberger, Benedikt Schmidt |
| 2015 | EuroCrypt | Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols. | Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt |
| 2015 | PKC | Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds. | Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi |
| 2014 | CRYPTO | Automated Analysis of Cryptographic Assumptions in Generic Group Models. | Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt |
| 2014 | NordiCHI | Designing for information work at the computer workplace with activity theory. | Benedikt Schmidt, Sebastian Dweling |
| 2014 | SP | Automated Verification of Group Key Agreement Protocols. | Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin |
| 2013 | CAV | The TAMARIN Prover for the Symbolic Analysis of Security Protocols. | Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin |
| 2013 | CCS | Fully automated analysis of padding-based encryption in the computational model. | Gilles Barthe, Juan Manuel Crespo, Benjamin Grgoire, Csar Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella-Bguelin |
| 2012 | CSCW | A model for the design of interactive systems based on activity theory. | Sebastian Dweling, Benedikt Schmidt, Andreas Gb |
| 2012 | SP | Distance Hijacking Attacks on Distance Bounding Protocols. | Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun |
| 2011 | ICCS | Towards a Formalization of Individual Work Execution at Computer Workplaces. | Benedikt Schmidt, Heiko Paulheim, Todor Stoitsev, Max Mhlhuser |
| 2011 | KES | Interaction Data Management. | Benedikt Schmidt, Eicke Godehardt |
| 2010 | EICS | Activity-centric support for weakly-structured business processes. | Benedikt Schmidt, Todor Stoitsev, Max Mhlhuser |