@inproceedings{CONCUR2022,
  title         = {Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus},
  author        = {Cl{\'e}ment Aubert and Ross Horne and Christian Johansen},
  year          = {2022},
  volume        = {243},
  pages         = {30:1--30:26},
  booktitle     = {33rd International Conference on Concurrency Theory (CONCUR 2022) 12-16 September, Warsaw, Poland},
  publisher     = {LIPIcs},
  doi           = {10.4230/LIPIcs.CONCUR.2022.30},
  editor        = {Bartek Klin and Sławomir Lasota and Anca Muscholl}
}