Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Andrei Sabelfeld
2010 – today
- 2013
[j13]Willard Rafnsson, Keiko Nakata, Andrei Sabelfeld: Securing Class Initialization in Java-like Languages. IEEE Trans. Dependable Sec. Comput. 10(1): 1-13 (2013)- [c41]Willard Rafnsson, Andrei Sabelfeld: Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent. CSF 2013: 33-48
- 2012
- [j12]Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld: On-the-fly inlining of dynamic security monitors. Computers & Security 31(7): 827-843 (2012)
- [c40]
- [c39]
- [c38]Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld: Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. ESORICS 2012: 55-72
- [i1]Lieven Desmet, Martin Johns, Benjamin Livshits, Andrei Sabelfeld: Web Application Security (Dagstuhl Seminar 12401). Dagstuhl Reports 2(10): 1-37 (2012)
- 2011
- [c37]Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld: Decentralized Delimited Release. APLAS 2011: 220-237
- [c36]
- 2010
- [j11]
- [j10]Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Secur. 13(3) (2010)
- [c35]Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld: A lattice-based approach to mashup security. ASIACCS 2010: 15-23
- [c34]Alejandro Russo, Andrei Sabelfeld: Dynamic vs. Static Flow-Sensitive Security Analysis. CSF 2010: 186-199
- [c33]Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld: Unifying Facets of Information Integrity. ICISS 2010: 48-65
- [c32]
- [c31]Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld: On-the-fly Inlining of Dynamic Security Monitors. SEC 2010: 173-186
- [p1]Alejandro Russo, Andrei Sabelfeld, Keqin Li: Implicit flows in malicious and nonmalicious code. Logics and Languages for Reliability and Security 2010: 301-322
2000 – 2009
- 2009
- [j9]Andrei Sabelfeld, David Sands: Declassification: Dimensions and principles. Journal of Computer Security 17(5): 517-548 (2009)
- [j8]Alejandro Russo, Andrei Sabelfeld: Securing interaction between threads and the scheduler in the presence of synchronization. J. Log. Algebr. Program. 78(7): 593-618 (2009)
- [c30]Aslan Askarov, Andrei Sabelfeld: Tight Enforcement of Information-Release Policies for Dynamic Languages. CSF 2009: 43-59
- [c29]Alejandro Russo, Andrei Sabelfeld: Securing Timeout Instructions in Web Applications. CSF 2009: 92-106
- [c28]Andrei Sabelfeld, Alejandro Russo: From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. Ershov Memorial Conference 2009: 352-365
- [c27]Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov: Tracking Information Flow in Dynamic Tree Structures. ESORICS 2009: 86-103
- [c26]Aslan Askarov, Andrei Sabelfeld: Catch me if you can: permissive yet secure error handling. PLAS 2009: 45-57
- 2008
- [j7]
- [j6]Aslan Askarov, Daniel Hedin, Andrei Sabelfeld: Cryptographically-masked flows. Theor. Comput. Sci. 402(2-3): 82-101 (2008)
- [c25]Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands: Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS 2008: 333-348
- 2007
- [c24]
- [c23]Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
- [c22]Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
- [c21]Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of Multithreaded Programs by Compilation. ESORICS 2007: 2-18
- [c20]Aslan Askarov, Andrei Sabelfeld: Localized delimited release: combining the what and where dimensions of information release. PLAS 2007: 53-60
- [c19]Aslan Askarov, Andrei Sabelfeld: Gradual Release: Unifying Declassification, Encryption and Key Release Policies. IEEE Symposium on Security and Privacy 2007: 207-221
- [e3]Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld (Eds.): Mobility, Ubiquity and Security, 25.02. - 02.03.2007. Dagstuhl Seminar Proceedings 07091, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j5]Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
- [c18]Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135
- [c17]Alejandro Russo, Andrei Sabelfeld: Securing Interaction between Threads and the Scheduler. CSFW 2006: 177-189
- [c16]Alejandro Russo, Andrei Sabelfeld: Security for Multithreaded Programs Under Cooperative Scheduling. Ershov Memorial Conference 2006: 474-480
- [c15]
- [e2]Dieter Gollmann, Jan Meier, Andrei Sabelfeld (Eds.): Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings. Lecture Notes in Computer Science 4189, Springer 2006, ISBN 3-540-44601-X
- 2005
- [j4]Martín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
- [c14]
- [c13]Aslan Askarov, Andrei Sabelfeld: Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. ESORICS 2005: 197-221
- [c12]Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld: Bridging Language-Based and Process Calculi Security. FoSSaCS 2005: 299-315
- [e1]Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld (Eds.): Language-Based Security, 5.-10. October 2003. Dagstuhl Seminar Proceedings 03411, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
- 2004
- [c11]Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
- 2003
- [j3]Heiko Mantel, Andrei Sabelfeld: A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. Journal of Computer Security 11(4): 615-676 (2003)
- [j2]Andrei Sabelfeld, Andrew C. Myers: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21(1): 5-19 (2003)
- [c10]Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Final Report - Language Based Security. Language Based Security 2003
- [c9]Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
- [c8]Andrei Sabelfeld: Confidentiality for Multithreaded Programs via Bisimulation. Ershov Memorial Conference 2003: 260-274
- [c7]
- 2002
- [c6]
- 2001
- [j1]Andrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. Higher-Order and Symbolic Computation 14(1): 59-91 (2001)
- [c5]Heiko Mantel, Andrei Sabelfeld: A Generic Approach to the Security of Multi-Threaded Programs. CSFW 2001: 126-
- [c4]Andrei Sabelfeld: The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. Ershov Memorial Conference 2001: 225-239
- 2000
- [c3]Andrei Sabelfeld, David Sands: Probabilistic Noninterference for Multi-Threaded Programs. CSFW 2000: 200-214
1990 – 1999
- 1999
- [c2]Andrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. ESOP 1999: 40-58
- 1997
- [c1]Viktor K. Sabelfeld, Andrei Sabelfeld: Simple Semantic Analysis Problems for Functional Programs. ICFP 1997: 319
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team