@ARTICLE{Armando2013108,
author={Armando, A., Carbone, R., Merlo, A.},
title={Formal analysis of a privacy-preserving billing protocol},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2013},
volume={7823 LNCS},
pages={108-119},
doi={10.1007/978-3-642-38030-3_8},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84893111432&partnerID=40&md5=60900d1e9c025dfdcf22a5e120505cbc},
document_type={Conference Paper},
source={Scopus},
}

{"_id":"oYZxP89junjoK68pF","bibbaseid":"armando-carbone-merlo-formalanalysisofaprivacypreservingbillingprotocol-2013","downloads":0,"creationDate":"2016-08-26T10:17:26.711Z","title":"Formal analysis of a privacy-preserving billing protocol","author_short":["Armando, A.","Carbone, R.","Merlo, A."],"year":2013,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Carbone"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Merlo"],"firstnames":["A."],"suffixes":[]}],"title":"Formal analysis of a privacy-preserving billing protocol","journal":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","year":"2013","volume":"7823 LNCS","pages":"108-119","doi":"10.1007/978-3-642-38030-3_8","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84893111432&partnerID=40&md5=60900d1e9c025dfdcf22a5e120505cbc","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando2013108,\nauthor={Armando, A., Carbone, R., Merlo, A.},\ntitle={Formal analysis of a privacy-preserving billing protocol},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={2013},\nvolume={7823 LNCS},\npages={108-119},\ndoi={10.1007/978-3-642-38030-3_8},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84893111432&partnerID=40&md5=60900d1e9c025dfdcf22a5e120505cbc},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Carbone, R.","Merlo, A."],"key":"Armando2013108","id":"Armando2013108","bibbaseid":"armando-carbone-merlo-formalanalysisofaprivacypreservingbillingprotocol-2013","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84893111432&partnerID=40&md5=60900d1e9c025dfdcf22a5e120505cbc"},"downloads":0},"search_terms":["formal","analysis","privacy","preserving","billing","protocol","armando","carbone","merlo"],"keywords":["privacy; smart meters; billing protocol; formal analysis"],"authorIDs":["57c00ade5abfdd4d540000c7","57c00b7c5abfdd4d540000cb"],"dataSources":["EQov9rEvkmMf5P4ah"]}