Selected publications by Sergiu Bursuc
Conferences
-
S. Bursuc, S. Delaune and H. Comon-Lundh. Deducibility constraints. In ASIAN'09, LNCS 5913, pages 24-38. Springer, 2009. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
-
S. Bursuc and H. Comon-Lundh. Protocol security and algebraic properties: decision results for a
bounded number of sessions. In RTA'09, LNCS 5595, pages 133-147. Springer, 2009. ( PDF | BibTeX + Abstract )
-
S. Bursuc, H. Comon-Lundh and S. Delaune. Deducibility Constraints, Equational Theory and Electronic Money. In Rewriting, Computation and Proof, LNCS 4600, pages 196-212. Springer, 2007. ( PS | PS.GZ | BibTeX + Abstract )
-
S. Bursuc, H. Comon-Lundh and S. Delaune. Associative-Commutative Deducibility Constraints. In STACS'07, LNCS 4393, pages 634-645. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Abstract )
Theses
Other Publications
-
S. Bursuc, H. Comon-Lundh and S. Delaune. Deducibility constraints and blind signatures. Research Report LSV-10-24, Laboratoire Spécification et Vérification, ENS Cachan,
France, November 2010. 32 pages. ( PDF | BibTeX + Abstract )
-
S. Bursuc and H. Comon-Lundh. Protocols, insecurity decision and combination of equational theories. Research Report LSV-09-02, Laboratoire Spécification et Vérification, ENS Cachan,
France, February 2009. 43 pages. ( PDF | BibTeX + Abstract )
-
S. Bursuc. Contraintes de déductibilité modulo
Associativité-Commutativité. Rapport de Master, Master Parisien de Recherche en Informatique, Paris,
France, September 2006. ( PDF | BibTeX )