Benedikt Schmidt

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 23

Top Venues

IACR Cryptol. ePrint Arch.

UbiComp/ISWC Adjunct

CCS

MobiCASE

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Georg Starke, Benedikt Schmidt, Eva M. De Clercq, Bernice Simone Elger
Explainability as fig leaf? An exploration of experts' ethical expectations towards machine learning in psychiatry. AI Ethics 3 (1) (2023)
Ingo Sawilla, Christian Weber, Benedikt Schmidt, Marco Ulrich
Industrial challenges for AI systems engineering. Autom. 70 (9) (2022)
Marco Gärtler, Benedikt Schmidt
Practical Challenges of Virtual Assistants and Voice Interfaces in Industrial Applications. HICSS (2021)
Benedikt Schmidt, Reuben Borrison, Marco Gärtler, Sylvia Maczey, Arzam Kotriwala
Practical Aspects for Exploration and Analysis of Manual Interventions in Process Plants. INDIN (2021)
Hareesh Konanki, Alexander Elbel, Benedikt Schmidt, Sairam Nandyala, Alfons Noe, Dominik Aufderheide
Model-based Control of a Gravimetric Dosing Conveyor for Alternative Fuels in the Cement Industry. ICSET (2021)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. J. Cryptol. 32 (2) (2019)
Christian Meurisch, Lulzim Murati, Rüdiger Eichin, Benedikt Schmidt, Max Mühlhäuser
Tour Guides Get Guided: Intelligent Coordination of Simultaneous Tours in Exhibition Environments. MobiQuitous (2018)
Benedikt Schmidt, Reuben Borrison, Andrew Cohen, Marcel Dix, Marco Gärtler, Martin Hollender, Benjamin Klöpper, Sylvia Maczey, Shunmuga Siddharthan
Industrial Virtual Assistants: Challenges and Opportunities. UbiComp/ISWC Adjunct (2018)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Generic Transformations of Predicate Encodings: Constructions and Applications. CRYPTO (1) (2017)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
Machine-Checked Proofs of Privacy for Electronic Voting Protocols. IEEE Symposium on Security and Privacy (2017)
Christian Meurisch, Artur Gogel, Benedikt Schmidt, Timo Nolle, Frederik Janssen, Immanuel Schweizer, Max Mühlhäuser
Capturing Daily Student Life by Recognizing Complex Activities Using Smartphones. MobiQuitous (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub
Jasmin: High-Assurance and High-Speed Cryptography. CCS (2017)
Christian Meurisch, Maria-Dorina Ionescu, Benedikt Schmidt, Max Mühlhäuser
Reference model of next-generation digital personal assistant: integrating proactive behavior. UbiComp/ISWC Adjunct (2017)
Christian Meurisch, Bennet Jeutter, Wladimir Schmidt, Nickolas Gundling, Benedikt Schmidt, Fabian Herrlich, Max Mühlhäuser
An Extensible Pervasive Platform for Large-Scale Anticipatory Mobile Computing. COMPSAC (1) (2017)
Axel Schulz, Eneldo Loza Mencía, Benedikt Schmidt
A rapid-prototyping framework for extracting small-scale incident-related information in microblogs: Application of multi-label classification on tweets. Inf. Syst. 57 (2016)
Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3. IEEE Symposium on Security and Privacy (2016)
Alexander Seeliger, Benedikt Schmidt, Immanuel Schweizer, Max Mühlhäuser
What Belongs Together Comes Together: Activity-centric Document Clustering for Information Work. IUI (2016)
Christian Meurisch, Usman Naeem, Muhammad Awais Azam, Frederik Janssen, Benedikt Schmidt, Max Mühlhäuser
Smarticipation: intelligent personal guidance of human behavior utilizing anticipatory models. UbiComp Adjunct (2016)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. EUROCRYPT (2) (2016)
Alexander Seeliger, Timo Nolle, Benedikt Schmidt, Max Mühlhäuser
Process Compliance Checking using Taint Flow Analysis. ICIS (2016)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. IACR Cryptol. ePrint Arch. 2016 (2016)
Miguel Ambrona, Gilles Barthe, Benedikt Schmidt
Generic Transformations of Predicate Encodings: Constructions and Applications. IACR Cryptol. ePrint Arch. 2016 (2016)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds. IET Inf. Secur. 10 (6) (2016)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds. Public Key Cryptography (2015)
Axel Schulz, Benedikt Schmidt, Thorsten Strufe
Small-Scale Incident Detection based on Microposts. HT (2015)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds. IACR Cryptol. ePrint Arch. 2015 (2015)
Christian Meurisch, Tahir Hussain, Artur Gogel, Benedikt Schmidt, Immanuel Schweizer, Max Mühlhäuser
A Spatiotemporal Approach for Social Situation Recognition. MobiCASE (2015)
Benedikt Schmidt, Sebastian Benchea, Rüdiger Eichin, Christian Meurisch
Fitness tracker or digital personal coach: how to personalize training. UbiComp/ISWC Adjunct (2015)
Christian Meurisch, Benedikt Schmidt, Michael Scholz, Immanuel Schweizer, Max Mühlhäuser
Labels: quantified self app for human activity sensing. UbiComp/ISWC Adjunct (2015)
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2015 (2015)
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols. EUROCRYPT (2) (2015)
Christian Meurisch, Alexander Seeliger, Benedikt Schmidt, Immanuel Schweizer, Fabian Kaup, Max Mühlhäuser
Upgrading Wireless Home Routers for Enabling Large-Scale Deployment of Cloudlets. MobiCASE (2015)
Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt
Automated Proofs of Pairing-Based Cryptography. CCS (2015)
Axel Schulz, Christian Guckelsberger, Benedikt Schmidt
More Features Are Not Always Better: Evaluating Generalizing Models in Incident Type Classification of Tweets. EMNLP (2015)
Axel Schulz, Eneldo Loza Mencía, Thanh-Tung Dang, Benedikt Schmidt
Evaluating Multi-label Classification of Incident-related Tweet. #MSM (2014)
Benedikt Schmidt, Sebastian Döweling
Designing for information work at the computer workplace with activity theory. NordiCHI (2014)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. CRYPTO (1) (2014)
Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt
Automated Analysis of Cryptographic Assumptions in Generic Group Models. IACR Cryptol. ePrint Arch. 2014 (2014)
Immanuel Schweizer, Benedikt Schmidt
Kraken.me: multi-device user tracking suite. UbiComp Adjunct (2014)
Immanuel Schweizer, Roman Bartl, Benedikt Schmidt, Fabian Kaup, Max Mühlhäuser
Kraken.me mobile: The energy footprint of mobile tracking. MobiCASE (2014)
Joseph A. Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub
Certified Synthesis of Efficient Batch Verifiers. CSF (2014)
Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin
Automated Verification of Group Key Agreement Protocols. IEEE Symposium on Security and Privacy (2014)
Oliver Obst, Joschka Boedecker, Benedikt Schmidt, Minoru Asada
On active information storage in input-driven systems CoRR (2013)
Sebastian Döweling, Tarik Tahiri, Benedikt Schmidt, Alexander Nolte, Mohammadreza Khalilbeigi
Collaborative Business Process Modeling On Interactive Tabletops. ECIS (2013)
Sebastian Doeweling, Tarik Tahiri, Philipp Sowinski, Benedikt Schmidt, Mohammadreza Khalilbeigi
Support for collaborative situation analysis and planning in crisis management teams using interactive tabletops. ITS (2013)
Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin
The TAMARIN Prover for the Symbolic Analysis of Security Protocols. CAV (2013)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin
Fully automated analysis of padding-based encryption in the computational model. CCS (2013)
Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
EasyCrypt: A Tutorial. FOSAD (2013)
Benedikt Schmidt, Sebastian Doeweling, Max Mühlhäuser
Interaction history visualization. SIGDOC (2012)
Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. CSF (2012)
Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun
Distance Hijacking Attacks on Distance Bounding Protocols. IEEE Symposium on Security and Privacy (2012)
Sebastian Döweling, Benedikt Schmidt, Andreas Göb
A model for the design of interactive systems based on activity theory. CSCW (2012)
Anton Pussep, Markus Schief, Benedikt Schmidt, Florian Friedrichs, Peter Buxmann
Topics in Software Industry Transformation Research: A Topic Analysis of Major IS Conferences. ICSOB (2012)
Benedikt Schmidt, Sebastian Döweling
Transparency - Activity Theory-Guided Support for Information Work. CASFE (2012)
David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt
Formal Reasoning about Physical Properties of Security Protocols. ACM Trans. Inf. Syst. Secur. 14 (2) (2011)
Axel Schulz, Benedikt Schmidt, Heiko Paulheim
LiCoRMS - Towards a Resource Management System Based on Lifecycle and Content Information. CONTEXT (2011)
Benedikt Schmidt, Todor Stoitsev, Max Mühlhäuser
Task Models for Intention-Aware Systems. J. Univers. Comput. Sci. 17 (10) (2011)
Benedikt Schmidt, Eicke Godehardt
Interaction Data Management. KES (2) (2011)
Benedikt Schmidt, Heiko Paulheim, Todor Stoitsev, Max Mühlhäuser
Towards a Formalization of Individual Work Execution at Computer Workplaces. ICCS (2011)
Benedikt Schmidt, Johannes Kastl, Todor Stoitsev, Max Mühlhäuser
Hierarchical task instance mining in interaction histories. SIGDOC (2011)
Benedikt Schmidt, Patrick Schaller, David A. Basin
Impossibility Results for Secret Establishment. CSF (2010)
Benedikt Schmidt, Markus Schief
Towards Agile Business Processes Based on the Internet of Things. Heinz Nixdorf Symposium (2010)
Markus Schief, Benedikt Schmidt
Crossing the Chasm Between the Real World and Business Process Management. ISSS/BPSC (2010)
Benedikt Schmidt, Todor Stoitsev, Max Mühlhäuser
Activity-centric support for weakly-structured business processes. EICS (2010)
David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt
Let's Get Physical: Models and Methods for Real-World Security Protocols. TPHOLs (2009)
Patrick Schaller, Benedikt Schmidt, David A. Basin, Srdjan Capkun
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. CSF (2009)
Uwe V. Riss, Benedikt Schmidt, Todor Stoitsev
Task Patterns in Collaborative Semantic Task Management as Means of Corporate Experience Preservation. LWA (2009)
Benedikt Schmidt, Uwe V. Riss
Task Patterns as Means to Experience Sharing. ICWL (2009)
Christian Mletzko, Benedikt Schmidt
Automatische Extraktion von Metadaten aus verschiedenen Dateiformaten. Informatiktage (2008)
Benedikt Schmidt, Wolfgang Reinhardt, Christian Mletzko
MetaXsA: Modulares Framework zur Metadatenextraktion durch semantische Dokumentanalyse auf unstrukturierten Textdokumenten. Informatiktage (2008)
Wolfgang Reinhardt, Christian Mletzko, Benedikt Schmidt, Johannes Magenheim, Tobias Schauerte
Knowledge Processing and Contextualisation by Automatical Metadata Extraction and Semantic Analysis. EC-TEL (2008)

Benedikt Schmidt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benedikt Schmidt