Deian Stefan

Flexible dynamic information flow control in Haskell

Deian Stefan, Alejandro Russo, John C. Mitchell et al. · 2011 · 142 citations

Engineering, Verification, Floating-label Approach +19

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer et al. · 2019 · 72 citations · Full text

Cryptographic Primitive, Engineering, Information Security +23

Robustness of keystroke-dynamics based biometrics against synthetic forgeries

Deian Stefan, Xiaokui Shu, Danfeng Yao · Computers & Security · 2011 · 61 citations

Engineering, Biometric Privacy, Pattern Recognition +9

Addressing covert termination and timing channels in concurrent information flow systems

Deian Stefan, Alejandro Russo, Pablo Buiras et al. · 2012 · 60 citations

Engineering, Information Security, Information-flow Control +24

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem

Conrad Watt, John W. Renner, Natalie Popescu et al. · Apollo (University of Cambridge) · 2019 · 59 citations · Full text

Cryptographic Primitive, Engineering, Information Security +20