Follow
Deian Stefan
Title
Cited by
Cited by
Year
Systems and method for malware detection
YAO Danfeng, D Stefan, C Wu
US Patent 8,763,127, 2014
2312014
Flexible dynamic information flow control in Haskell
D Stefan, A Russo, JC Mitchell, D Mazičres
Proceedings of the 4th ACM Symposium on Haskell, 95-106, 2011
1952011
Hails: Protecting data privacy in untrusted web applications
DB Giffin, A Levy, D Stefan, D Terei, D Mazieres, JC Mitchell, A Russo
10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012
1892012
Fast software AES encryption
DA Osvik, JW Bos, D Stefan, D Canright
International Workshop on Fast Software Encryption, 75-93, 2010
1692010
Protecting Users by Confining {JavaScript} with {COWL}
D Stefan, EZ Yang, P Marchenko, A Russo, D Herman, B Karp, ...
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
1112014
Addressing covert termination and timing channels in concurrent information flow systems
D Stefan, A Russo, P Buiras, A Levy, JC Mitchell, D Mazieres
ACM SIGPLAN Notices 47 (9), 201-214, 2012
822012
Eliminating cache-based timing attacks with instruction-based scheduling
D Stefan, P Buiras, EZ Yang, A Levy, D Terei, A Russo, D Mazičres
European Symposium on Research in Computer Security, 718-735, 2013
802013
Fast implementations of AES on various platforms
JW Bos, DA Osvik, D Stefan
Cryptology ePrint Archive, 2009
772009
Disjunction category labels
D Stefan, A Russo, D Mazičres, JC Mitchell
Nordic conference on secure IT systems, 223-239, 2011
722011
Low discrepancy sequences for Monte Carlo simulations on reconfigurable platforms
IL Dalal, D Stefan, J Harwayne-Gidansky
2008 International Conference on Application-Specific Systems, Architectures …, 2008
712008
Ct-wasm: type-driven secure cryptography for the web ecosystem
C Watt, J Renner, N Popescu, S Cauligi, D Stefan
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
702019
Robustness of keystroke-dynamics based biometrics against synthetic forgeries
D Stefan, X Shu, DD Yao
computers & security 31 (1), 109-121, 2012
692012
Flexible dynamic information flow control in the presence of exceptions
D Stefan, D Mazičres, JC Mitchell, A Russo
Journal of Functional Programming 27, 2017
592017
Constant-time foundations for the new spectre era
S Cauligi, C Disselkoen, K Gleissenthall, D Tullsen, D Stefan, T Rezk, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
562020
Data-provenance verification for secure hosts
K Xu, H Xiong, C Wu, D Stefan, D Yao
IEEE Transactions on Dependable and Secure Computing 9 (2), 173-183, 2011
512011
Fact: a DSL for timing-sensitive computation
S Cauligi, G Soeller, B Johannesmeyer, F Brown, RS Wahby, J Renner, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
502019
Fact: A flexible, constant-time programming language
S Cauligi, G Soeller, F Brown, B Johannesmeyer, Y Huang, R Jhala, ...
2017 IEEE Cybersecurity Development (SecDev), 69-76, 2017
492017
Information-flow control for programming on encrypted data
JC Mitchell, R Sharma, D Stefan, J Zimmerman
2012 IEEE 25th Computer Security Foundations Symposium, 45-60, 2012
492012
Finding and preventing bugs in javascript bindings
F Brown, S Narayan, RS Wahby, D Engler, R Jhala, D Stefan
2017 IEEE Symposium on Security and Privacy (SP), 559-578, 2017
482017
Keystroke-dynamics authentication against synthetic forgeries
D Stefan, D Yao
6th International Conference on Collaborative Computing: Networking …, 2010
482010
The system can't perform the operation now. Try again later.
Articles 1–20