 | 2012 |
|---|
| 10 |       | Myrto Arapinis,
Sergiu Bursuc,
Mark Dermot Ryan:
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity.
POST 2012: 169-188 |
| 9 | | Myrto Arapinis,
Sergiu Bursuc,
Mark Ryan:
Privacy Supporting Cloud Computing: ConfiChair, a Case Study.
POST 2012: 89-108 |
| 2011 |
|---|
| 8 | | Myrto Arapinis,
Eike Ritter,
Mark Dermot Ryan:
StatVerif: Verification of Stateful Processes.
CSF 2011: 33-47 |
| 7 | | Myrto Arapinis,
Loretta Ilaria Mancini,
Eike Ritter,
Mark Ryan:
Formal Analysis of UMTS Privacy
CoRR abs/1109.2066: (2011) |
| 2010 |
|---|
| 6 | | Myrto Arapinis,
Tom Chothia,
Eike Ritter,
Mark Ryan:
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus.
CSF 2010: 107-121 |
| 2009 |
|---|
| 5 | | Myrto Arapinis,
Tom Chothia,
Eike Ritter,
Mark Ryan:
Untraceability in the applied pi-calculus.
ICITST 2009: 1-6 |
| 4 | | Myrto Arapinis,
Muffy Calder,
Louise A. Dennis,
Michael Fisher,
Philip D. Gray,
Savas Konur,
Alice Miller,
Eike Ritter,
Mark Ryan,
Sven Schewe,
Chris Unsworth,
Rehana Yasmin:
Towards the Verification of Pervasive Systems.
ECEASST 22: (2009) |
| 2008 |
|---|
| 3 | | Myrto Arapinis,
Stéphanie Delaune,
Steve Kremer:
From One Session to Many: Dynamic Tags for Security Protocols.
LPAR 2008: 128-142 |
| 2007 |
|---|
| 2 | | Myrto Arapinis,
Marie Duflot:
Bounding Messages for Free in Security Protocols.
FSTTCS 2007: 376-387 |
| 2003 |
|---|
| 1 |  | Myrto Arapinis,
Frédéric Loulergue,
Frédéric Gava,
Frédéric Dabrowski:
Semantics of Minimally Synchronous Parallel ML.
SNPD 2003: 260-267 |
Data released under the ODC-BY 1.0 license — See also our legal information page