Special issue on verified information flow security

Abstract

Toby Murray a,b,∗, Andrei Sabelfeld c and Lujo Bauer d a School of Computing and Information Systems, University of Melbourne, Australia E-mail: toby.murray@unimelb.edu.au b Data61, CSIRO, Australia c Department of Computer Science and Engineering, Chalmers University of Technology, Sweden E-mail: andrei@chalmers.se d Department of Electrical and Computer Engineering and Institute for Software Research, Carnegie Mellon University, PA, USA E-mail: lbauer@cmu.edu