Benedikt Schmidt

Knowledge Worker Roles and Actions—Results of Two Empirical Studies

Wolfgang Reinhardt, Benedikt Schmidt, Peter Sloep et al. · Knowledge and Process Management · 2011 · 253 citations · Full text

Knowledge Worker Roles, Task Analysis, Human Resource Management +20

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

Benedikt Schmidt, Simon Meier-Vieracker, Cas Cremers et al. · 2012 · 215 citations

Hardware Security, Advanced Security Properties, Naxos Protocol +15

Distance Hijacking Attacks on Distance Bounding Protocols

Cas Cremers, Kasper Rasmussen, Benedikt Schmidt et al. · 2012 · 162 citations

Engineering, Distance Fraud, Information Security +16

Jasmin

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · 2017 · 101 citations · Full text

Cryptographic Primitive, Engineering, Verification +17

Fully automated analysis of padding-based encryption in the computational model

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire et al. · 2013 · 52 citations

Cryptographic Primitive, Padding-based Encryption, Engineering +22