Stefan Ciobâca (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reasoning 48(2): 219-262 (2012)

2 Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE 2009: 355-370

Selection of 2 from 4 records - Stefan Ciobâca has 5 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

4		Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reasoning 48(2): 219-262 (2012)
2		Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE 2009: 355-370