Andrei Sabelfeld

	2009
39		Aslan Askarov, Andrei Sabelfeld: Tight Enforcement of Information-Release Policies for Dynamic Languages. CSF 2009: 43-59
38		Alejandro Russo, Andrei Sabelfeld: Securing Timeout Instructions in Web Applications. CSF 2009: 92-106
37		Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov: Tracking Information Flow in Dynamic Tree Structures. ESORICS 2009: 86-103
36		Aslan Askarov, Andrei Sabelfeld: Catch me if you can: permissive yet secure error handling. PLAS 2009: 45-57
35		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)
	2008
34		Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands: Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS 2008: 333-348
33		Andrei Sabelfeld: Preface. Journal of Computer Security 16(5): 495 (2008)
32		Aslan Askarov, Daniel Hedin, Andrei Sabelfeld: Cryptographically-masked flows. Theor. Comput. Sci. 402(2-3): 82-101 (2008)
	2007
31		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
30		Andrei Sabelfeld: Dimensions of Declassification in Theory and Practice. ASIAN 2007: 1
29		Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of Multithreaded Programs by Compilation. ESORICS 2007: 2-18
28		Aslan Askarov, Andrei Sabelfeld: Gradual Release: Unifying Declassification, Encryption and Key Release Policies. IEEE Symposium on Security and Privacy 2007: 207-221
27		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
26		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
25		Aslan Askarov, Andrei Sabelfeld: Localized delimited release: combining the what and where dimensions of information release. PLAS 2007: 53-60
	2006
24		Dieter Gollmann, Jan Meier, Andrei Sabelfeld: Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings Springer 2006
23		Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135
22		Alejandro Russo, Andrei Sabelfeld: Securing Interaction between Threads and the Scheduler. CSFW 2006: 177-189
21		Alejandro Russo, Andrei Sabelfeld: Security for Multithreaded Programs Under Cooperative Scheduling. Ershov Memorial Conference 2006: 474-480
20		Aslan Askarov, Daniel Hedin, Andrei Sabelfeld: Cryptographically-Masked Flows. SAS 2006: 353-369
19		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
	2005
18		Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: Language-Based Security, 5.-10. October 2003 IBFI, Schloss Dagstuhl, Germany 2005
17		Andrei Sabelfeld, David Sands: Dimensions and Principles of Declassification. CSFW 2005: 255-269
16		Aslan Askarov, Andrei Sabelfeld: Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. ESORICS 2005: 197-221
15		Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld: Bridging Language-Based and Process Calculi Security. FoSSaCS 2005: 299-315
14		Martín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
	2004
13		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
	2003
12		Andrei Sabelfeld: Confidentiality for Multithreaded Programs via Bisimulation. Ershov Memorial Conference 2003: 260-274
11		Andrei Sabelfeld, Andrew C. Myers: A Model for Delimited Information Release. ISSS 2003: 174-191
10		Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
9		Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Final Report - Language Based Security. Language Based Security 2003
8		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)
	2002
7		Andrei Sabelfeld, Heiko Mantel: Securing Communication in a Concurrent Language. SAS 2002: 376-394
	2001
6		Heiko Mantel, Andrei Sabelfeld: A Generic Approach to the Security of Multi-Threaded Programs. CSFW 2001: 126-
5		Andrei Sabelfeld: The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. Ershov Memorial Conference 2001: 225-239
4		Andrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. Higher-Order and Symbolic Computation 14(1): 59-91 (2001)
	2000
3		Andrei Sabelfeld, David Sands: Probabilistic Noninterference for Multi-Threaded Programs. CSFW 2000: 200-214
	1999
2		Andrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. ESOP 1999: 40-58
	1997
1		Viktor K. Sabelfeld, Andrei Sabelfeld: Simple Semantic Analysis Problems for Functional Programs. ICFP 1997: 319

Coauthor Index

1	Martín Abadi	[14]
2	Aslan Askarov	[16] [20] [25] [28] [32] [34] [36] [39]
3	Anindya Banerjee	[9] [10] [18]
4	Gilles Barthe	[26] [27] [29] [31]
5	Andrey Chudnov	[37]
6	Riccardo Focardi	[15]
7	Dieter Gollmann	[24]
8	Daniel Hedin	[20] [32]
9	John Hughes	[23]
10	Sebastian Hunt	[34]
11	Heiko Mantel	[6] [7] [8] [9] [10] [18] [26] [27] [31]
12	Jan Meier	[24]
13	J. Gregory Morrisett (Greg Morrisett)	[14]
14	Peter Müller	[26] [27] [31]
15	Andrew C. Myers	[11] [13] [19] [26] [27] [31]
16	David A. Naumann	[9] [10] [18] [23]
17	Tamara Rezk	[29]
18	Sabina Rossi	[15]
19	Alejandro Russo	[21] [22] [23] [29] [35] [37] [38]
20	Viktor K. Sabelfeld	[1]
21	David Sands	[2] [3] [4] [17] [34]
22	Steve Zdancewic	[13] [19]

Colors in the list of coauthors