Folgen
Alejandro Russo
Alejandro Russo
Professor, Computer Science and Engineering Department, Chalmers / Göteborg University
Bestätigte E-Mail-Adresse bei chalmers.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Dynamic vs. static flow-sensitive security analysis
A Russo, A Sabelfeld
2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010
2822010
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
2002011
Hails: Protecting data privacy in untrusted web applications
DB Giffin, A Levy, D Stefan, D Terei, D Mazieres, JC Mitchell, A Russo
Presented as part of the 10th {USENIX} Symposium on Operating Systems Design …, 2012
1912012
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
1702010
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
1182011
A library for light-weight information-flow security in Haskell
A Russo, K Claessen, J Hughes
ACM Sigplan Notices 44 (2), 13-24, 2008
1182008
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
1132014
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
992009
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
892015
On-the-fly inlining of dynamic security monitors
J Magazinius, A Russo, A Sabelfeld
Computers & Security 31 (7), 827-843, 2012
862012
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
842012
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
802013
Securing interaction between threads and the scheduler
A Russo, A Sabelfeld
19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006
802006
Disjunction category labels
D Stefan, A Russo, D Mazières, JC Mitchell
Information Security Technology for Applications: 16th Nordic Conference on …, 2012
772012
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
652007
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
Securing timeout instructions in web applications
A Russo, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 92-106, 2009
542009
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
522007
Secure multi-execution in Haskell
M Jaskelioff, A Russo
Perspectives of Systems Informatics, 170-178, 2012
512012
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
472015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20