Andrei Sabelfeld Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)