| 133 | -- | 134 | Hubert Comon-Lundh, Catherine Meadows. Special Issue on Security and Rewriting Foreword |
| 135 | -- | 158 | Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. Unification Modulo Homomorphic Encryption |
| 159 | -- | 195 | Joshua D. Guttman. State and Progress in Strand Spaces: Proving Fair Exchange |
| 197 | -- | 217 | Steve Kremer, Antoine Mercier 0002, Ralf Treinen. Reducing Equational Theories for the Decision of Static Equivalence |
| 219 | -- | 262 | Stefan Ciobaca, Stéphanie Delaune, Steve Kremer. Computing Knowledge in Security Protocols Under Convergent Equational Theories |
| 263 | -- | 292 | Yannick Chevalier, Michaël Rusinowitch. Decidability of Equivalence of Symbolic Derivations |