On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. Backes, M., Busenius, A., & Hriţcu, C. In 4th NASA Formal Methods Symposium (NFM), pages 371-387, April, 2012. Springer.
![On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @InProceedings{Backes:Busenius:Hritcu:12,
author = {Michael Backes and Alex Busenius and C\u{a}t\u{a}lin Hri\c{t}cu},
title = {On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols},
booktitle = {4th NASA Formal Methods Symposium (NFM)},
shortbooktitle = {NFM},
year = {2012},
month = apr,
publisher = {Springer},
pages = {371-387},
url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/expi2java-nfm2012.pdf},
acceptance = {36/93=0.39},
key = {Conference Papers},
chcontrib = {equaltwo},
}Downloads: 0
{"_id":"iPqJmdNkia2SkC5sE","bibbaseid":"backes-busenius-hricu-onthedevelopmentandformalizationofanextensiblecodegeneratorforreallifesecurityprotocols-2012","downloads":0,"creationDate":"2019-02-09T20:08:59.694Z","title":"On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols","author_short":["Backes, M.","Busenius, A.","Hriţcu, C."],"year":2012,"bibtype":"inproceedings","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Backes"],"suffixes":[]},{"firstnames":["Alex"],"propositions":[],"lastnames":["Busenius"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]}],"title":"On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols","booktitle":"4th NASA Formal Methods Symposium (NFM)","shortbooktitle":"NFM","year":"2012","month":"April","publisher":"Springer","pages":"371-387","url":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/expi2java-nfm2012.pdf","acceptance":"36/93=0.39","key":"Backes:Busenius:Hritcu:12","chcontrib":"equaltwo","bibtex":"@InProceedings{Backes:Busenius:Hritcu:12,\n author = {Michael Backes and Alex Busenius and C\\u{a}t\\u{a}lin Hri\\c{t}cu},\n title = {On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols},\n booktitle = {4th NASA Formal Methods Symposium (NFM)},\n shortbooktitle = {NFM},\n year = {2012},\n month = apr,\n publisher = {Springer},\n pages = {371-387},\n url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/expi2java-nfm2012.pdf},\n acceptance = {36/93=0.39},\n key = {Conference Papers},\n chcontrib = {equaltwo},\n}\n\n","author_short":["Backes, M.","Busenius, A.","Hriţcu, C."],"id":"Backes:Busenius:Hritcu:12","bibbaseid":"backes-busenius-hricu-onthedevelopmentandformalizationofanextensiblecodegeneratorforreallifesecurityprotocols-2012","role":"author","urls":{"Paper":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/expi2java-nfm2012.pdf"},"downloads":0,"html":""},"search_terms":["development","formalization","extensible","code","generator","real","life","security","protocols","backes","busenius","hriţcu"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}