Value Sensitivity and Observable Abstract Values for Information Flow Control Luciano Bello1 , Daniel Hedin1,2 , and Andrei Sabelfeld1 1 Chalmers University of Technology

Source URL: www.cse.chalmers.se

• Data types
• Type theory
• Typeof
• Variable
• High Speed 2
• Information flow
• Dynamical system
• Monad
• Type system
• Operator

Disjunction Category Labels Deian Stefan1 , Alejandro Russo2 , David Mazi`eres1, and John C. Mitchell1 1 2

Source URL: www.cse.chalmers.se

Coinduction in Agda via Copatterns and Sized Types Andreas Abel Department of Computer Science and Engineering Chalmers and Universität Göteborg Dagstuhl Seminar 16131

Source URL: www2.tcs.ifi.lmu.de

Lazy Programs Leak Secrets Pablo Buiras and Alejandro Russo Dept. of Computer Science and Engineering Chalmers University of TechnologyG¨ oteborg, Sweden

Source URL: www.cse.chalmers.se

Thesis for the Degree of Doctor of Philosophy Language Support for Controlling Timing-Based Covert Channels Alejandro Russo

Source URL: www.cse.chalmers.se

Workshop logistics - finding your way to the two workshop venues: The two workshop days are located at two different conference venues at Chalmers Campus. Day 1, 15 March: Registration and full day takes place at Chalmer

Source URL: www.focali.se

Journal of Computer SecurityIOS Press 0 Secure Multi-Execution: Fine-grained,

Source URL: www.cse.chalmers.se

Progress-Sensitive Security for SPARK Willard Rafnsson1 , Deepak Garg2 , and Andrei Sabelfeld3 1 2

Source URL: www.cse.chalmers.se

Property-based testing, race conditions, and QuickCheck John Hughes QuickCheck in a Nutshell

Source URL: www.cse.chalmers.se

Journal of Functional Programming Flexible Dynamic Information Flow Control in the Presence of Exceptions Journal:

Source URL: www.cse.chalmers.se