The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrei Sabelfeld: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
    Enforcing Robust Declassification. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:172-186 [Conf]
  2. Heiko Mantel, Andrei Sabelfeld
    A Generic Approach to the Security of Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:126-0 [Conf]
  3. Andrei Sabelfeld, David Sands
    Probabilistic Noninterference for Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:200-214 [Conf]
  4. Andrei Sabelfeld, David Sands
    Dimensions and Principles of Declassification. [Citation Graph (0, 0)][DBLP]
    CSFW, 2005, pp:255-269 [Conf]
  5. Alejandro Russo, Andrei Sabelfeld
    Securing Interaction between Threads and the Scheduler. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:177-189 [Conf]
  6. Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld
    03411 Final Report - Language Based Security. [Citation Graph (0, 0)][DBLP]
    Language Based Security, 2003, pp:- [Conf]
  7. Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld
    03411 Abstracts Collection - Language Based Security. [Citation Graph (0, 0)][DBLP]
    Language Based Security, 2003, pp:- [Conf]
  8. Andrei Sabelfeld
    The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:225-239 [Conf]
  9. Andrei Sabelfeld
    Confidentiality for Multithreaded Programs via Bisimulation. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:260-274 [Conf]
  10. Andrei Sabelfeld, David Sands
    A Per Model of Secure Information Flow in Sequential Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:40-58 [Conf]
  11. Aslan Askarov, Andrei Sabelfeld
    Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2005, pp:197-221 [Conf]
  12. Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
    Bridging Language-Based and Process Calculi Security. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:299-315 [Conf]
  13. Viktor K. Sabelfeld, Andrei Sabelfeld
    Simple Semantic Analysis Problems for Functional Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:319- [Conf]
  14. Andrei Sabelfeld, Andrew C. Myers
    A Model for Delimited Information Release. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:174-191 [Conf]
  15. Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
    Cryptographically-Masked Flows. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:353-369 [Conf]
  16. Andrei Sabelfeld, Heiko Mantel
    Securing Communication in a Concurrent Language. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:376-394 [Conf]
  17. Aslan Askarov, Andrei Sabelfeld
    Gradual Release: Unifying Declassification, Encryption and Key Release Policies. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 2007, pp:207-221 [Conf]
  18. Heiko Mantel, Andrei Sabelfeld
    A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2003, v:11, n:4, pp:615-676 [Journal]
  19. Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
    Enforcing Robust Declassification and Qualified Robustness. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2006, v:14, n:2, pp:157-196 [Journal]
  20. Martín Abadi, Greg Morrisett, Andrei Sabelfeld
    "Language-Based Security". [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:2, pp:129- [Journal]
  21. Andrei Sabelfeld, David Sands
    A Per Model of Secure Information Flow in Sequential Programs. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:1, pp:59-91 [Journal]
  22. Andrei Sabelfeld
    Dimensions of Declassification in Theory and Practice. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2007, pp:1- [Conf]
  23. Alejandro Russo, Andrei Sabelfeld
    Security for Multithreaded Programs Under Cooperative Scheduling. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:474-480 [Conf]
  24. Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
    Security of Multithreaded Programs by Compilation. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2007, pp:2-18 [Conf]

  25. Closing Internal Timing Channels by Transformation. [Citation Graph (, )][DBLP]


  26. A lattice-based approach to mashup security. [Citation Graph (, )][DBLP]


  27. Tight Enforcement of Information-Release Policies for Dynamic Languages. [Citation Graph (, )][DBLP]


  28. Securing Timeout Instructions in Web Applications. [Citation Graph (, )][DBLP]


  29. Dynamic vs. Static Flow-Sensitive Security Analysis. [Citation Graph (, )][DBLP]


  30. 07091 Executive Summary - Mobility, Ubiquity and Security. [Citation Graph (, )][DBLP]


  31. 07091 Abstracts Collection - Mobility, Ubiquity and Security. [Citation Graph (, )][DBLP]


  32. From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. [Citation Graph (, )][DBLP]


  33. Termination-Insensitive Noninterference Leaks More Than Just a Bit. [Citation Graph (, )][DBLP]


  34. Tracking Information Flow in Dynamic Tree Structures. [Citation Graph (, )][DBLP]


  35. Localized delimited release: combining the what and where dimensions of information release. [Citation Graph (, )][DBLP]


  36. Catch me if you can: permissive yet secure error handling. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002