Sergiu Bursuc

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Sergiu Bursuc, Hubert Comon-Lundh: Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions. RTA 2009: 133-147

2007

2 Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Deducibility Constraints, Equational Theory and Electronic Money. Rewriting, Computation and Proof 2007: 196-212

1 Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Associative-Commutative Deducibility Constraints. STACS 2007: 634-645

	2009
3		Sergiu Bursuc, Hubert Comon-Lundh: Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions. RTA 2009: 133-147
	2007
2		Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Deducibility Constraints, Equational Theory and Electronic Money. Rewriting, Computation and Proof 2007: 196-212
1		Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Associative-Commutative Deducibility Constraints. STACS 2007: 634-645

Coauthor Index

1	Hubert Comon-Lundh (Hubert Comon)	[1] [2] [3]
2	Stéphanie Delaune	[1] [2]