Andrei Sabelfeld's recent publications

• Gradual Release: Unifying Declassification, Encryption and Key Release Policies, with Aslan Askarov. In Proceedings of the IEEE Symposium on Security and Privacy, Berkeley/Oakland, California, May 20-23, 2007.

• Declassification: Dimensions and Principles, with David Sands. Journal of Computer Security, 2007.

• Closing Internal Timing Channels by Transformation, with Alejandro Russo, John Hughes, and David Naumann. In Proceedings of the 11th Annual Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006. LNCS, Springer-Verlag. 2007.

• Cryptographically-Masked Flows, with Aslan Askarov and Daniel Hedin. In Proceedings of the International Static Analysis Symposium, Seoul, Korea, August 29-31, 2006. LNCS, Springer-Verlag.

• Securing Interaction between Threads and the Scheduler, with Alejandro Russo. In Proceedings of the 19th IEEE Computer Security Foundations Workshop, Venice, Italy, July 5-7, 2006. IEEE Computer Society Press.

• Security for Multithreaded Programs under Cooperative Scheduling, with Alejandro Russo. In Proceedings of Andrei Ershov International Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, June 27-30, 2006. LNCS 4378, Springer-Verlag.

• Enforcing Robust Declassification and Qualified Robustness, with Andrew C. Myers and Steve Zdancewic. Journal of Computer Security, 14(2):157-196, IOS Press, May 2006.

• Security-typed languages for implementation of cryptographic protocols: A case study, with Aslan Askarov. In Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS), Milan, Italy, September 12-14, 2005, LNCS, Springer-Verlag, September 2005.

• Dimensions and Principles of Declassification, with David Sands. In Proceedings of the 18th IEEE Computer Security Foundations Workshop, Aix-en-Provence, France, June 20-22, 2005. IEEE Computer Society Press.

• Bridging Language-Based and Process Calculi Security, with Riccardo Focardi and Sabina Rossi. In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS'05), pages 299-315, Edinburgh, Scotland, April 2-8, 2005, LNCS 3441, Springer-Verlag.
  
  Full version available as Bridging Language-Based and Process Calculi Security, Technical Report, CS-2004-14, University of Venice, December 2004.

• A Model for Delimited Information Release, with Andrew C. Myers. In Proceedings of the 2003 International Symposium on Software Security (ISSS'03), pages 174-191, Tokyo, Japan, November 4-6, 2003. LNCS 3233, Springer-Verlag. October 2004.

• Enforcing Robust Declassification, with Andrew C. Myers and Steve Zdancewic. In Proceedings of the 17th IEEE Computer Security Foundations Workshop, Pacific Grove, California, June 28-30, 2004. IEEE Computer Society Press.

• A Unifying Approach to the Security of Distributed and Multi-Threaded Programs, with Heiko Mantel. Journal of Computer Security, 11(4):615-676, IOS Press, September 2003.

• Confidentiality for Multithreaded Programs via Bisimulation. In Proceedings of Andrei Ershov 5th International Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. LNCS 2890, Springer-Verlag.

• Language-Based Information-Flow Security (ps, pdf) with Andrew C. Myers. IEEE Journal on Selected Areas in Communications, 21(1):5-19, January 2003.
  This is a survey article on language-based techniques for the specification and enforcement of confidentiality properties. The BibTeX file with references made in the survey is available here.
  

• Static Confidentiality Enforcement for Distributed Programs, with Heiko Mantel. In Proceedings of the 9th International Static Analysis Symposium, Madrid, Spain, September 17-20, 2002. LNCS 2477, Springer-Verlag.

• The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. In Proceedings of Andrei Ershov 4th International Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, July 3-6, 2001. LNCS 2244, Springer-Verlag.

• A Generic Approach to the Security of Multi-threaded Programs, with Heiko Mantel. In Proceedings of the 14th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, June 11-13, 2001. IEEE Computer Society Press.

• Semantic Models for the Security of Sequential and Concurrent Programs. (ps-file size: 2M). PhD Thesis, Chalmers University of Technology and University of Gothenburg, May 2001. Defended in June 2001.

• A Per Model of Secure Information Flow in Sequential Programs, with David Sands. Higher-Order and Symbolic Computation, 14(1):59-91, March 2001.

• Probabilistic Noninterference for Multi-threaded Programs, with David Sands. In Proceedings of the 13th IEEE Computer Security Foundations Workshop, Cambridge, England, July 2000. IEEE Computer Society Press.

• Semantics-based Security and Aspects of Program Analysis. (ps-file size: 2M) Licentiate Thesis, Chalmers University of Technology and University of Gothenburg, March 2000.

• A Per Model of Secure Information Flow in Sequential Programs, with David Sands. In Proceedings of the 8th European Symposium on Programming, ESOP'99, LNCS 1576, pages 40-58, Amsterdam, March 1999, Springer-Verlag.

• Simple Semantic Analysis Problems for Functional Programs, with Viktor Sabelfeld. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, Amsterdam, June 1997. ACM Press.

• Equivalent Transformations of Recursive Schemes with Finite Unfolding, with Viktor Sabelfeld. Programming and Computer Software, 23 (2):70-77, 1997.

• Correct Transformations of Logic Programs. Joint Bulletin of Novosibirsk Computer Center and the Institute of Informatics Systems, 5:55-67, 1996.