Sabelfeld, Andrei - Department of Computer Science and Engineering, Chalmers University of Technology

• gedell@cs.chalmers.se Introduction
• Securing Timeout Instructions in Web Applications Alejandro Russo Andrei Sabelfeld
• Security-typed languages for implementation of cryptographic protocols: A case study
• Forwards and backwards analysis for functional programs
• Securing Interaction between Threads and the Scheduler Alejandro Russo Andrei Sabelfeld
• A Generic Approach to the Security of MultiThreaded Programs
• A Per Model of Secure Information Flow in Sequential Programs \Lambda
• The Impact of Synchronisation on Secure Information Flow in Concurrent Programs
• Security for Multithreaded Programs under Cooperative Scheduling
• Dynamic vs. Static Flow-Sensitive Security Analysis Alejandro Russo Andrei Sabelfeld
• Securing Class Initialization Keiko Nakata1
• Cryptographically-Masked Flows Aslan Askarov Daniel Hedin Andrei Sabelfeld
• Cryptographically-Masked Flows Aslan Askarov Daniel Hedin Andrei Sabelfeld
• Enforcing Robust Declassification and Qualified Robustness
• A Portable Virtual Machine Target for Proof-Carrying Code
• Probabilistic Noninterference for Multithreaded Programs \Lambda Andrei Sabelfeld David Sands
• Non-Interference for Carmel Rene Rydhof Hansen
• Gradual Release: Unifying Declassification, Encryption and Key Release Policies Aslan Askarov Andrei Sabelfeld
• Closing Internal Timing Channels by Transformation Alejandro Russo1
• Thesis for the Degree of Doctor of Philosophy Semantic Models for the Security of
• Tight Enforcement of Information-Release Policies for Dynamic Languages Aslan Askarov
• Equivalent Transformations of Recursive Programs with Finite Unfolding \Lambda
• A Per Model of Secure Information Flow in Sequential Programs
• IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 21, NO. 1, JANUARY 2003 1 LanguageBased InformationFlow Security
• A Unifying Approach to the Security of Distributed and MultiThreaded Programs
• Correct Transformations of Logic Programs Andrei Sabelfeld
• Localized Delimited Release: Combining the What and Where Dimensions of Information Release
• A Lattice-based Approach to Mashup Security Jonas Magazinius
• Limiting Information Leakage in Event-based Communication Willard Rafnsson
• A Model for Delimited Information Release Andrei Sabelfeld 1
• Enforcing Robust Declassification In Proceedings of the 17th IEEE Computer Security Foundations Workshop, Pa
• Declassification SelfComposition
• Declassification: Dimensions and Principles Andrei Sabelfeld David Sands
• Dimensions and Principles of Declassification In Proceedings of the IEEE Computer Security Foundations Work
• Catch Me If You Can: Permissive Yet Secure Error Handling Aslan Askarov
• Tracking Information Flow in Dynamic Tree Structures Alejandro Russo1
• Confidentiality for Multithreaded Programs via Bisimulation #
• Static Con dentiality Enforcement for Distributed Programs ?
• From dynamic to static and back: Riding the roller coaster of information-flow control research
• Bridging Language-Based and Process Calculi Security Riccardo Focardi1
• Thesis for the Degree of Licentiate of Philosophy Semanticsbased Program Security
• Multi-run security Arnar Birgisson and Andrei Sabelfeld
• A Perspective on Information-Flow Control
• Decentralized Delimited Release Jonas Magazinius1
• On-the-fly Inlining of Dynamic Security Monitors Jonas Magazinius Alejandro Russo Andrei Sabelfeld