Publications
2013Rafnsson, Willard; Nakata, K.; Sabelfeld, Andrei: Securing Class Initialization in Java-like Languages. IEEE Transactions on Dependable and Secure Computing, 10 (1) pp. 1-13.
2012Birgisson, Arnar; Hedin, Daniel; Sabelfeld, Andrei: Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. LNCS Computer Security -- ESORICS 2012, 7459 pp. 55-72.
Hedin, Daniel; Sabelfeld, Andrei: Information-flow security for a core of JavaScript. Proceedings of the Computer Security Foundations Symposium, pp. 3-18. ISBN/ISSN: 978-076954718-3
Magazinius, Jonas; Russo, Alejandro; Sabelfeld, Andrei: On-The-Fly Inlining Of Dynamic Security Monitors. Computers & security, 31 (7) pp. 827-843.
Rafnsson, Willard; Hedin, Daniel; Sabelfeld, Andrei: Securing interactive programs. Proceedings of the Computer Security Foundations Symposium, pp. 293-307. ISBN/ISSN: 978-076954718-3
2011Birgisson, Arnar; Russo, Alejandro; Sabelfeld, Andrei: Capabilities for information flow. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, pp. article no. 5. ISBN/ISSN: 978-145030830-4
Birgisson, Arnar; Sabelfeld, Andrei: Multi-run security. Lecture Notes in Computer Science, Proceedings of the European Symposium on Research in Computer Security (ESORICS), ISBN/ISSN: 978-364223821-5
Hedin, Daniel; Sabelfeld, Andrei: A Perspective on Information-Flow Control. Proceedings of the 2011 Marktoberdorf Summer School,
Magazinius, Jonas; Askarov, Aslan; Sabelfeld, Andrei: Decentralized Delimited Release. Lecture Notes in Computer Science. 9th Asian Symposium on Programming Languages and Systems (APLAS), 7078 pp. 220-237. ISBN/ISSN: 978-364225317-1
Rafnsson, Willard; Sabelfeld, Andrei: Limiting Information Leakage in Event-based Communication. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, pp. (Article no. 4). ISBN/ISSN: 978-145030830-4
2010Barthe, G.; Rezk, T.; Russo, Alejandro; Sabelfeld, Andrei: Security of Multithreaded Programs by Compilation. ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY , 13 (3)
Birgisson, Arnar; Russo, Alejandro; Sabelfeld, Andrei: Unifying Facets of Information Integrity. Springer LNCS Proceedings of Sixth International Conference on Information Systems Security, 6503 pp. 48-65. ISBN/ISSN: 978-364217713-2
Magazinius, Jonas; Askarov, Aslan; Sabelfeld, Andrei: A lattice-based approach to mashup security. 5th ACM Symposium on Information, Computer and Communication Security, ASIACCS 2010; Beijing; 13 April 2010 through 16 April 2010, pp. 15-23 . ISBN/ISSN: 978-160558936-7
Magazinius, Jonas; Russo, Alejandro; Sabelfeld, Andrei: On-the-fly inlining of dynamic security monitors. In Proc. IFIP International Information Security Conference (SEC 2010),
Nakata, Keiko; Sabelfeld, Andrei: Securing Class Initialization. Proceedings of the IFIP International Conference on Trust Management (IFIPTM),
Russo, Alejandro; Sabelfeld, Andrei: Dynamic vs. Static Flow-Sensitive Security Analysis. Proceedings of the IEEE Computer Security Foundations Symposium, pp. 186-199. ISBN/ISSN: 978-076954082-5
2009Askarov, Aslan; Sabelfeld, Andrei: Catch Me If You Can: Permissive Yet Secure Error Handling. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security,
Askarov, Aslan; Sabelfeld, Andrei: Tight Enforcement of Information-Release Policies for Dynamic Languages. Proceedings of the IEEE Computer Security Foundations Symposium,
Barthe, Gilles; Rezk, Tamara; Russo, Alejandro; Sabelfeld, Andrei: Secuirty of Multithreaded Programs by Compilation. Special Issue of ACM Transactions on Information and System Security (TISSEC) ,
Russo, Alejandro; Sabelfeld, Andrei; Keqin, Li: Implicit flows in malicious and nonmalicious code. Proceedings of the 2009 Marktoberdorf Summer School, IOS Press,
Russo, Alejandro; Sabelfeld, Andrei: Securing Interaction between Threads and the Scheduler in the Presence of Synchronization. Journal of Logic and Algebraic Programming, 78 (7) pp. 593-618.
Russo, Alejandro; Sabelfeld, Andrei: Securing Timeout Instructions in Web Applications. Proceedings of the 22th IEEE Computer Security Foundations Symposium,
Russo, Alejandro; Sabelfeld, Andrei; Chudnov, Andrey: Tracking Information Flow in Dynamic Tree Structures . Proceedings of the European Symposium on Research in Computer Security (ESORICS),
Sabelfeld, Andrei; Sands, David: Declassification: Dimensions and Principles. Journal of Computer Security, 17 (5) pp. 517-548.
Sabelfeld, Andrei; Russo, Alejandro: From dynamic to static and back: Riding the roller coaster of information-flow control research . Lecture Notes in Computer Science. 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, Novosibirsk, 15-19 June 2009, 5947 pp. 352-365. ISBN/ISSN: 978-364211485-4
2008Askarov, Aslan; Hedin, Daniel; Sabelfeld, Andrei: Cryptographically-Masked Flows. Journal of Theoretical Computer Science, 402 (2-3) pp. 82-101.
Askarov, Aslan; Hunt, Sebastian; Sabelfeld, Andrei; Sands, David: Termination-Insensitive Noninterference Leaks More Than Just a Bit.. In Proceedings of the 13th European Symposium on Research in Computer Security, Malaga, Spain, October 2008., 5283 pp. 333-348.
2007Askarov, Aslan; Sabelfeld, Andrei: Gradual Release: Unifying Declassification, Encryption and Key Release Policies. Proceedings of the IEEE Symposium on Security and Privacy, pp. 207-227. ISBN/ISSN: 978-0-7695-2848-9
Askarov, Aslan; Sabelfeld, Andrei: Localized Delimited Release: Combining the What and Where Dimensions of Information Release. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, pp. 53-60. ISBN/ISSN: 978-1-59593-711-7
Barthe, Gilles; Rezk, Tamara; Russo, Alejandro; Sabelfeld, Andrei: Security of Multithreaded Programs by Compilation. Proceedings of the 12th European Symposium on Research in Computer Security (ESORICS), 4734 pp. 2-18. ISBN/ISSN: 978-3-540-74834-2
Russo, Alejandro; Hughes, John; Naumann, David; Sabelfeld, Andrei: Closing Internal Timing Channels by Transformation. Proceedings of the 11th Annual Asian Computing Science Conference,
2006Askarov, Aslan; Hedin, Daniel; Sabelfeld, Andrei: Cryptographically-Masked Flows. Proceedings of the International Static Analysis Symposium, LNCS, 4134 pp. 353-369. ISBN/ISSN: 978-3-540-37756-6
Computer Security - ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings. Dieter Gollmann, Jan Meier, Andrei Sabelfeld [editor(s)]. ISBN/ISSN: 3-540-44601-X
Myers, Andrew; Sabelfeld, Andrei; Zdancewic, Steve: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security, 14 (2) pp. 157-196.
Russo, Alejandro; Sabelfeld, Andrei: Securing Interaction between Threads and the Scheduler. Proceedings of the 19th IEEE Computer Security Foundations Workshop, Venice, Italy, July 5-7, 2006. IEEE Computer Society Press.,
Russo, Alejandro; Sabelfeld, Andrei: Security for Multithreaded Programs under Cooperative Scheduling. Proceedings of Andrei Ershov International Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, June 27-30, 2006. LNCS, Springer-Verlag.,
2005Askarov, Aslan; Sabelfeld, Andrei: Secure Implementation of Cryptographic Protocols: A Case Study of Mutual Distrust. Göteborg : Chalmers University of Technology.
Askarov, Aslan; Sabelfeld, Andrei: Security-typed languages for implementation of cryptographic protocols: A case study. Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS' 2005), LNCS, 3679 pp. 197-221. ISBN/ISSN: 3-540-28963-1
Focardi, Riccardo; Rossi, Sabina; Sabelfeld, Andrei: Bridging Language-Based and Process Calculi Security. Proceedings of Foundations of Software Science and Computation Structures (FOSSACS'05),, LNCS (3441) pp. 299-315.
Sabelfeld, Andrei; Sands, David: Dimensions and Principles of Declassification. Proceedings of the 18th IEEE Computer Security Foundations Workshop,
Proceedings of FCS'05 Workshop on Foundations of Computer Security. Andrei Sabelfeld [editor(s)].
2004Myers, Andrew; Sabelfeld, Andrei; Zdancewic, Steve: Enforcing Robust Declassification. Proceedings of the 17th IEEE Computer Security Foundations Workshop / edited by Riccardo Focardi , pp. 172--186.
Sabelfeld, Andrei; Myers, Andrew: A Model for Delimited Information Release. Proceedings of the 2003 International Symposium on Software Security, LNCS (3233) pp. 174-191.
Proceedings of FCS'04 Workshop on Foundations of Computer Security. Andrei Sabelfeld [editor(s)]. ISBN/ISSN: 952-12-1372-8
Proceedings of Workshop on Foundations of Computer Security. Andrei Sabelfeld [editor(s)]. Göteborg : External organization. ISBN/ISSN: 952-12-1372-8
2001Sabelfeld, Andrei; Sands, David: A Per Model of Secure Information Flow in Sequential Programs. Higher-Order and Symbolic Computation, 14 (1) pp. 59-91.
2000Sabelfeld, Andrei; Sands, David: Probabilistic Noninterference for Multi-threaded Programs. Proceedings of the 13th IEEE Computer Security Foundations Workshop, pp. 200-214. Cambridge, England : IEEE Computer Society Press.