Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols

Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. Bacelar Almeida, J., Barbosa, M., Bangerter, E., Barthe, G., Krenn, S., & Zanella Béguelin, S. In Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12, pages 488, Raleigh, North Carolina, USA, 2012. ACM Press.

Paper doi abstract bibtex

Developers building cryptography into security-sensitive applications face a daunting task. Not only must they understand the security guarantees delivered by the constructions they choose, they must also implement and combine them correctly and eﬃciently.

@inproceedings{bacelaralmeidaFullProofCryptography2012,
	address = {Raleigh, North Carolina, USA},
	title = {Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols},
	isbn = {978-1-4503-1651-4},
	shorttitle = {Full proof cryptography},
	url = {http://dl.acm.org/citation.cfm?doid=2382196.2382249},
	doi = {10.1145/2382196.2382249},
	abstract = {Developers building cryptography into security-sensitive applications face a daunting task. Not only must they understand the security guarantees delivered by the constructions they choose, they must also implement and combine them correctly and eﬃciently.},
	language = {en},
	urldate = {2021-08-03},
	booktitle = {Proceedings of the 2012 {ACM} conference on {Computer} and communications security - {CCS} '12},
	publisher = {ACM Press},
	author = {Bacelar Almeida, José and Barbosa, Manuel and Bangerter, Endre and Barthe, Gilles and Krenn, Stephan and Zanella Béguelin, Santiago},
	year = {2012},
	pages = {488},
}

Downloads: 0

{"_id":"4C9fztfHNu79JxxEm","bibbaseid":"bacelaralmeida-barbosa-bangerter-barthe-krenn-zanellabguelin-fullproofcryptographyverifiablecompilationofefficientzeroknowledgeprotocols-2012","author_short":["Bacelar Almeida, J.","Barbosa, M.","Bangerter, E.","Barthe, G.","Krenn, S.","Zanella Béguelin, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Raleigh, North Carolina, USA","title":"Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols","isbn":"978-1-4503-1651-4","shorttitle":"Full proof cryptography","url":"http://dl.acm.org/citation.cfm?doid=2382196.2382249","doi":"10.1145/2382196.2382249","abstract":"Developers building cryptography into security-sensitive applications face a daunting task. Not only must they understand the security guarantees delivered by the constructions they choose, they must also implement and combine them correctly and eﬃciently.","language":"en","urldate":"2021-08-03","booktitle":"Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12","publisher":"ACM Press","author":[{"propositions":[],"lastnames":["Bacelar","Almeida"],"firstnames":["José"],"suffixes":[]},{"propositions":[],"lastnames":["Barbosa"],"firstnames":["Manuel"],"suffixes":[]},{"propositions":[],"lastnames":["Bangerter"],"firstnames":["Endre"],"suffixes":[]},{"propositions":[],"lastnames":["Barthe"],"firstnames":["Gilles"],"suffixes":[]},{"propositions":[],"lastnames":["Krenn"],"firstnames":["Stephan"],"suffixes":[]},{"propositions":[],"lastnames":["Zanella","Béguelin"],"firstnames":["Santiago"],"suffixes":[]}],"year":"2012","pages":"488","bibtex":"@inproceedings{bacelaralmeidaFullProofCryptography2012,\n\taddress = {Raleigh, North Carolina, USA},\n\ttitle = {Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols},\n\tisbn = {978-1-4503-1651-4},\n\tshorttitle = {Full proof cryptography},\n\turl = {http://dl.acm.org/citation.cfm?doid=2382196.2382249},\n\tdoi = {10.1145/2382196.2382249},\n\tabstract = {Developers building cryptography into security-sensitive applications face a daunting task. Not only must they understand the security guarantees delivered by the constructions they choose, they must also implement and combine them correctly and eﬃciently.},\n\tlanguage = {en},\n\turldate = {2021-08-03},\n\tbooktitle = {Proceedings of the 2012 {ACM} conference on {Computer} and communications security - {CCS} '12},\n\tpublisher = {ACM Press},\n\tauthor = {Bacelar Almeida, José and Barbosa, Manuel and Bangerter, Endre and Barthe, Gilles and Krenn, Stephan and Zanella Béguelin, Santiago},\n\tyear = {2012},\n\tpages = {488},\n}\n\n","author_short":["Bacelar Almeida, J.","Barbosa, M.","Bangerter, E.","Barthe, G.","Krenn, S.","Zanella Béguelin, S."],"key":"bacelaralmeidaFullProofCryptography2012","id":"bacelaralmeidaFullProofCryptography2012","bibbaseid":"bacelaralmeida-barbosa-bangerter-barthe-krenn-zanellabguelin-fullproofcryptographyverifiablecompilationofefficientzeroknowledgeprotocols-2012","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?doid=2382196.2382249"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/8315324/collections/M4HD3YSJ/items?key=7RWXUCZduzev33wfxHBTrvdq&format=bibtex&limit=100","dataSources":["JjeknPEFzCt2M8MXt"],"keywords":[],"search_terms":["full","proof","cryptography","verifiable","compilation","efficient","zero","knowledge","protocols","bacelar almeida","barbosa","bangerter","barthe","krenn","zanella béguelin"],"title":"Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols","year":2012}