@inproceedings{CortierRZ-PPDP05,
  author = {V\'eronique Cortier and Micha\"el Rusinowitch and Eugen Zalinescu},
  title = {A {R}esolution {S}trategy for {V}erifying {C}ryptographic {P}rotocols with {CBC} {E}ncryption and {B}lind {S}ignatures},
  booktitle = {7th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'05)},
  year = 2005,
  pages = {12--22},
  publisher = {ACM Press},
  doi = {10.1145/1069774.1069776},
}