Selected publications by Ştefan Ciobâcă

Journals

• Ş. Ciobâcă, S. Delaune and S. Kremer.  Computing knowledge in security protocols under convergent equational theories.  Journal of Automated Reasoning, 2011. To appear. ( PDF | BibTeX + Abstract )

Conferences

• Ş. Ciobâcă and V. Cortier.  Protocol composition for arbitrary primitives.  In CSF'10, pages 322-336. IEEE Computer Society Press, 2010. ( PDF | BibTeX + Abstract )
• Ş. Ciobâcă, S. Delaune and S. Kremer.  Computing knowledge in security protocols under convergent equational theories.  In CADE'09, LNAI, pages 355-370. Springer, 2009. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )

Theses

• Ş. Ciobâcă.  Automated Verification of Security Protocols with Appplications to Electronic Voting.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, December 2011. ( BibTeX )

Other Publications

• Ş. Ciobâcă.  Computing finite variants for subterm convergent rewrite systems.  In UNIF'11. 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
• Ş. Ciobâcă.  KiSs, 2010. ( Web page | BibTeX )
• Ş. Ciobâcă, S. Delaune and S. Kremer.  Computing knowledge in security protocols under convergent equational theories.  In SecReT'09, pages 47-58. 2009. ( PDF | BibTeX + Abstract )
• Ş. Ciobâcă.  Verification of anonymity properties in e-voting protocols.  Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, September 2008. ( PDF | BibTeX )

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique