dblp.uni-trier.dewww.uni-trier.de

Andrei Sabelfeld

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
34EEAslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands: Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS 2008: 333-348
33EEAndrei Sabelfeld: Preface. Journal of Computer Security 16(5): 495 (2008)
32EEAslan 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
30EEAndrei Sabelfeld: Dimensions of Declassification in Theory and Practice. ASIAN 2007: 1
29EEGilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of Multithreaded Programs by Compilation. ESORICS 2007: 2-18
28EEAslan Askarov, Andrei Sabelfeld: Gradual Release: Unifying Declassification, Encryption and Key Release Policies. IEEE Symposium on Security and Privacy 2007: 207-221
27EEGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
26EEGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
25EEAslan 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
23EEAlejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135
22EEAlejandro Russo, Andrei Sabelfeld: Securing Interaction between Threads and the Scheduler. CSFW 2006: 177-189
21EEAlejandro Russo, Andrei Sabelfeld: Security for Multithreaded Programs Under Cooperative Scheduling. Ershov Memorial Conference 2006: 474-480
20EEAslan Askarov, Daniel Hedin, Andrei Sabelfeld: Cryptographically-Masked Flows. SAS 2006: 353-369
19EEAndrew 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
17EEAndrei Sabelfeld, David Sands: Dimensions and Principles of Declassification. CSFW 2005: 255-269
16EEAslan Askarov, Andrei Sabelfeld: Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. ESORICS 2005: 197-221
15EERiccardo Focardi, Sabina Rossi, Andrei Sabelfeld: Bridging Language-Based and Process Calculi Security. FoSSaCS 2005: 299-315
14EEMartín Abadi, Greg Morrisett, Andrei Sabelfeld: "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
2004
13EEAndrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
2003
12EEAndrei Sabelfeld: Confidentiality for Multithreaded Programs via Bisimulation. Ershov Memorial Conference 2003: 260-274
11EEAndrei Sabelfeld, Andrew C. Myers: A Model for Delimited Information Release. ISSS 2003: 174-191
10EEAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
9EEAnindya 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
7EEAndrei Sabelfeld, Heiko Mantel: Securing Communication in a Concurrent Language. SAS 2002: 376-394
2001
6EEHeiko Mantel, Andrei Sabelfeld: A Generic Approach to the Security of Multi-Threaded Programs. CSFW 2001: 126-
5EEAndrei 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
3EEAndrei Sabelfeld, David Sands: Probabilistic Noninterference for Multi-Threaded Programs. CSFW 2000: 200-214
1999
2EEAndrei 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)