Sergiu Bursuc

	2012
6		Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan: Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. POST 2012: 169-188
5		Myrto Arapinis, Sergiu Bursuc, Mark Ryan: Privacy Supporting Cloud Computing: ConfiChair, a Case Study. POST 2012: 89-108
	2009
4		Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Deducibility Constraints. ASIAN 2009: 24-38
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	Myrto Arapinis	[5] [6]
2	Hubert Comon-Lundh (Hubert Comon)	[1] [2] [3] [4]
3	Stéphanie Delaune	[1] [2] [4]
4	Mark Ryan (Mark Dermot Ryan)	[5] [6]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page