Dynamic Information-Flow Analysis for Multi-threaded Applications.

Laurent Mounier, Emmanuel Sifakis

Browse the full ISoLA paper archive.