8th International Workshop on Security Issues in Concurrency

Accepted papers

  • Eike Best, Philippe Darondeau and Roberto Gorrieri.
    On the Decidability of Non Interference over Unbounded Petri Nets

  • Bernardo Toninho and Luis Caires.
    A Spatial-Epistemic Logic for Reasoning about Security Protocols

  • Loic Helouet and Aline Roumy.
    Covert channel detection using Information Theory

  • Stephanie Delaune, Steve Kremer, Mark Ryan and Graham Steel.
    A Formal Analysis of Authentication in the TPM (short paper)
Page maintained by Kostas Chatzikokolakis. Last modified on September 09 2013.