Deian Stefan

Flexible dynamic information flow control in Haskell

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

Computing, Computer Engineering, Computer Science +17

FaCT: a DSL for timing-sensitive computation

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

Computing, Computer Engineering, Computer Science +12

Robustness of keystroke-dynamics based biometrics against synthetic forgeries

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

Computing, Computer Science, Cybersecurity +10

Addressing covert termination and timing channels in concurrent information flow systems

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

Computing, Computer Science, Computer Systems +14

Pretend synchrony: synchronous verification of asynchronous distributed programs

Klaus von Gleissenthall, Rami Gökhan Kıcı, Alexander Bakst et al. · Proceedings of the ACM on Programming Languages · 2019 · 59 citations · Full text

Computing, Computer Engineering, Computer Science +17