@article{DBLP:journals/iacr/NowakZ10,
  author    = {David Nowak and
               Yu Zhang},
  title     = {A calculus for game-based security proofs},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  volume    = {2010},
  pages     = {230},
  year      = {2010},
  url       = {http://eprint.iacr.org/2010/230},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/NowakZ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"pJgXFCrkmNipqY73x","bibbaseid":"nowak-zhang-acalculusforgamebasedsecurityproofs-2010","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Nowak, D.","Zhang, Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]},{"firstnames":["Yu"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"title":"A calculus for game-based security proofs","journal":"IACR Cryptol. ePrint Arch.","volume":"2010","pages":"230","year":"2010","url":"http://eprint.iacr.org/2010/230","timestamp":"Mon, 11 May 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/iacr/NowakZ10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iacr/NowakZ10,\n author = {David Nowak and\n Yu Zhang},\n title = {A calculus for game-based security proofs},\n journal = {{IACR} Cryptol. ePrint Arch.},\n volume = {2010},\n pages = {230},\n year = {2010},\n url = {http://eprint.iacr.org/2010/230},\n timestamp = {Mon, 11 May 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iacr/NowakZ10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nowak, D.","Zhang, Y."],"key":"DBLP:journals/iacr/NowakZ10","id":"DBLP:journals/iacr/NowakZ10","bibbaseid":"nowak-zhang-acalculusforgamebasedsecurityproofs-2010","role":"author","urls":{"Paper":"http://eprint.iacr.org/2010/230"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.589Z","downloads":0,"keywords":[],"search_terms":["calculus","game","based","security","proofs","nowak","zhang"],"title":"A calculus for game-based security proofs","year":2010,"dataSources":["QsobDjoLrbY9ktAcA"]}