Unification modulo a 2-sorted Equational theory for Cipher-Decipher               Block Chaining

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2014
Type of Publication:	Article
Authors:	Anantharaman, Siva Bouchard, Christopher Narendran, Paliath Rusinowitch, Michaël
Journal:	Logical Methods in Computer Science	Volume:	10


Journal's impact factor:	0.5
@article{AnantharamanBNR14, author = "Siva Anantharaman and Christopher Bouchard and Paliath Narendran and Micha{\"e}l Rusinowitch", doi = "10.2168/LMCS-10(1:5)2014", journal = "Logical Methods in Computer Science", note = "partner: INRIA; projects: NESSoS; citations:0", title = "{U}nification modulo a 2-sorted {E}quational theory for {C}ipher-{D}ecipher {B}lock {C}haining", volume = "10", year = "2014", }
Note:	partner: INRIA; projects: NESSoS; citations:0
[Bibtex]