@inproceedings{DBLP:conf/fosad/BartheDGKSS13,
  author = {Gilles Barthe and Fran{\c{c}}ois Dupressoir and
Benjamin Gr{\'{e}}goire and C{\'{e}}sar Kunz and
Benedikt Schmidt and Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/fosad/BartheDGKSS13.bib},
  booktitle = {Foundations of Security Analysis and Design {VII} -
{FOSAD} 2012/2013 Tutorial Lectures},
  doi = {10.1007/978-3-319-10082-1\_6},
  editor = {Alessandro Aldini and Javier L{\'{o}}pez and
Fabio Martinelli},
  isbn = {978-3-319-10081-4},
  pages = {146--166},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},
  title = {EasyCrypt: {A} Tutorial},
  url = {https://doi.org/10.1007/978-3-319-10082-1\_6},
  volume = {8604},
  year = {2013}
}

{"_id":"Hu4CZZQihCssqqaCy","bibbaseid":"barthe-dupressoir-grgoire-kunz-schmidt-strub-easycryptatutorial-2013","downloads":0,"creationDate":"2016-06-21T10:07:36.445Z","title":"EasyCrypt: A Tutorial","author_short":["Barthe, G.","Dupressoir, F.","Grégoire, B.","Kunz, C.","Schmidt, B.","Strub, P."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Barthe"],"suffixes":[]},{"firstnames":["François"],"propositions":[],"lastnames":["Dupressoir"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Grégoire"],"suffixes":[]},{"firstnames":["César"],"propositions":[],"lastnames":["Kunz"],"suffixes":[]},{"firstnames":["Benedikt"],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/fosad/BartheDGKSS13.bib","booktitle":"Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures","doi":"10.1007/978-3-319-10082-1_6","editor":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Aldini"],"suffixes":[]},{"firstnames":["Javier"],"propositions":[],"lastnames":["López"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Martinelli"],"suffixes":[]}],"isbn":"978-3-319-10081-4","pages":"146–166","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Thu, 29 Aug 2019 08:10:01 +0200","title":"EasyCrypt: A Tutorial","url":"https://doi.org/10.1007/978-3-319-10082-1\\_6","volume":"8604","year":"2013","bibtex":"@inproceedings{DBLP:conf/fosad/BartheDGKSS13,\n author = {Gilles Barthe and Fran{\\c{c}}ois Dupressoir and\nBenjamin Gr{\\'{e}}goire and C{\\'{e}}sar Kunz and\nBenedikt Schmidt and Pierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/fosad/BartheDGKSS13.bib},\n booktitle = {Foundations of Security Analysis and Design {VII} -\n{FOSAD} 2012/2013 Tutorial Lectures},\n doi = {10.1007/978-3-319-10082-1\\_6},\n editor = {Alessandro Aldini and Javier L{\\'{o}}pez and\nFabio Martinelli},\n isbn = {978-3-319-10081-4},\n pages = {146--166},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},\n title = {EasyCrypt: {A} Tutorial},\n url = {https://doi.org/10.1007/978-3-319-10082-1\\_6},\n volume = {8604},\n year = {2013}\n}\n\n","author_short":["Barthe, G.","Dupressoir, F.","Grégoire, B.","Kunz, C.","Schmidt, B.","Strub, P."],"editor_short":["Aldini, A.","López, J.","Martinelli, F."],"key":"DBLP:conf/fosad/BartheDGKSS13","id":"DBLP:conf/fosad/BartheDGKSS13","bibbaseid":"barthe-dupressoir-grgoire-kunz-schmidt-strub-easycryptatutorial-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-10082-1\\_6"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":0,"html":""},"search_terms":["easycrypt","tutorial","barthe","dupressoir","grégoire","kunz","schmidt","strub"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}