Deian Stefan
Title
Cited by
Cited by
Year
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
1472011
Hails: Protecting data privacy in untrusted web applications
DB Giffin, A Levy, D Stefan, D Terei, D Mazičres, JC Mitchell, A Russo
Presented as part of the 10th {USENIX} Symposium on Operating Systems Design …, 2012
1382012
Fast software AES encryption
DA Osvik, JW Bos, D Stefan, D Canright
International Workshop on Fast Software Encryption, 75-93, 2010
1222010
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 …, 2014
772014
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
752012
Fast Implementations of AES on Various Platforms.
JW Bos, DA Osvik, D Stefan
IACR Cryptology ePrint Archive 2009, 501, 2009
752009
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
662013
Robustness of keystroke-dynamics based biometrics against synthetic forgeries
D Stefan, X Shu, DD Yao
computers & security 31 (1), 109-121, 2012
592012
Disjunction category labels
D Stefan, A Russo, D Mazičres, JC Mitchell
Nordic conference on secure IT systems, 223-239, 2011
572011
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
532008
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
472017
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
472011
Keystroke-dynamics authentication against synthetic forgeries
D Stefan, D Yao
6th International Conference on Collaborative Computing: Networking …, 2010
432010
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
422012
User-assisted host-based detection of outbound malware traffic
H Xiong, P Malhotra, D Stefan, C Wu, D Yao
International Conference on Information and Communications Security, 293-307, 2009
382009
A hardware framework for the fast generation of multiple long-period random number streams
IL Dalal, D Stefan
Proceedings of the 16th international ACM/SIGDA symposium on Field …, 2008
332008
Systems and method for malware detection
YAO Danfeng, D Stefan, C Wu
US Patent 8,763,127, 2014
302014
On dynamic flow-sensitive floating-label systems
P Buiras, D Stefan, A Russo
2014 IEEE 27th Computer Security Foundations Symposium, 65-79, 2014
282014
Performance analysis of the SHA-3 candidates on exotic multi-core architectures
JW Bos, D Stefan
International Workshop on Cryptographic Hardware and Embedded Systems, 279-293, 2010
262010
IFC inside: Retrofitting languages with dynamic information flow control
S Heule, D Stefan, EZ Yang, JC Mitchell, A Russo
International Conference on Principles of Security and Trust, 11-31, 2015
252015
The system can't perform the operation now. Try again later.
Articles 1–20