Segui
Alejandro Russo
Alejandro Russo
Professor, Computer Science and Engineering Department, Chalmers / Göteborg University
Email verificata su chalmers.se - Home page
Titolo
Citata da
Citata da
Anno
Dynamic vs. static flow-sensitive security analysis
A Russo, A Sabelfeld
2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010
2952010
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
2032011
Hails: Protecting data privacy in untrusted web applications
D Giffin, A Levy, D Stefan, D Terei, D Mazieres, J Mitchell, A Russo
Journal of Computer Security 25 (4-5), 427-461, 2017
1952017
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
1762010
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
1292011
A library for light-weight information-flow security in Haskell
A Russo, K Claessen, J Hughes
ACM Sigplan Notices 44 (2), 13-24, 2008
1282008
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
1142014
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1012009
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
942015
On-the-fly inlining of dynamic security monitors
J Magazinius, A Russo, A Sabelfeld
Computers & Security 31 (7), 827-843, 2012
882012
Securing interaction between threads and the scheduler
A Russo, A Sabelfeld
19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006
852006
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
832012
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
822013
Disjunction category labels
D Stefan, A Russo, D Mazičres, JC Mitchell
Information Security Technology for Applications: 16th Nordic Conference on …, 2012
822012
Security of multithreaded programs by compilation
G Barthe, T Rezk, A Russo, A Sabelfeld
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 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
602007
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
552007
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
542015
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
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20