9th International Workshop on Security Issues in Concurrency

Accepted papers (presentation only)

  • Vincent Cheval, Stephanie Delaune and Hubert Comon-Lundh.
    A Decision Procedure for Trace Equivalence.

  • Mahrooghi Hamidreza and Mohammadreza Mousavi.
    Reconciling Operational and Epistemic Approaches to the Formal Analysis of Crypto-Based Security Protocols

  • Alessandro Armando and Silvio Ranise.
    Automated Analysis of Infinite State Workflows with Access Control Policies

  • Tri Ngo Minh and Marieke Huisman.
    Scheduler-related Condentiality for Multi-threaded Programs

  • Chenyi Zhang.
    Unwinding Theorems for Conditional Information Flow Policies

Page maintained by Kostas Chatzikokolakis. Last modified on September 09 2013.