Theo dõi
Alejandro Russo
Alejandro Russo
Professor, Computer Science and Engineering Department, Chalmers / Göteborg University
Email được xác minh tại chalmers.se - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Dynamic vs. static flow-sensitive security analysis
A Russo, A Sabelfeld
2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010
2982010
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
2062011
Hails: Protecting data privacy in untrusted web applications
D Giffin, A Levy, D Stefan, D Terei, D Mazières, J Mitchell, A Russo
Journal of Computer Security 25 (4-5), 427-461, 2017
2032017
From dynamic to static and back: Riding the roller coaster of information-flow control research
A Sabelfeld, A Russo
Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010
1772010
Testing an optimising compiler by generating random lambda terms
MH Pałka, K Claessen, A Russo, J Hughes
Proceedings of the 6th International Workshop on Automation of Software Test …, 2011
1402011
A library for light-weight information-flow security in Haskell
A Russo, K Claessen, J Hughes
ACM Sigplan Notices 44 (2), 13-24, 2008
1262008
Protecting Users by Confining JavaScript with COWL.
D Stefan, EZ Yang, P Marchenko, A Russo, D Herman, B Karp, ...
Symposium on Operating Systems Design and Implementation (OSDI), 131-146, 2014
1162014
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1022009
HLIO: Mixing static and dynamic typing for information-flow control in Haskell
P Buiras, D Vytiniotis, A Russo
ACM SIGPLAN International Conference in Functional Programming (ICFP) 50 (9 …, 2015
992015
Securing interaction between threads and the scheduler
A Russo, A Sabelfeld
19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006
892006
On-the-fly inlining of dynamic security monitors
J Magazinius, A Russo, A Sabelfeld
Computers & Security 31 (7), 827-843, 2012
882012
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
882012
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, 2013
842013
Disjunction category labels
D Stefan, A Russo, D Mazières, JC Mitchell
Information Security Technology for Applications: 16th Nordic Conference on …, 2012
842012
Security of multithreaded programs by compilation
G Barthe, T Rezk, A Russo, A Sabelfeld
European Symposium on Research in Computer Security, 2-18, 2007
662007
Closing internal timing channels by transformation
A Russo, J Hughes, D Naumann, A Sabelfeld
Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007
612007
Functional pearl: two can keep a secret, if one of them uses Haskell
A Russo
ACM SIGPLAN International Conference in Functional Programming (ICFP) 50 (9 …, 2015
582015
A library for secure multi-threaded information flow in Haskell
T Tsai, A Russo, J Hughes
20th IEEE Computer Security Foundations Symposium (CSF'07), 187-202, 2007
562007
Securing timeout instructions in web applications
A Russo, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 92-106, 2009
532009
Secure multi-execution in Haskell
M Jaskelioff, A Russo
Perspectives of Systems Informatics, 170-178, 2012
522012
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20