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