@article{DBLP:journals/iandc/NowakZ15,
  author    = {David Nowak and
               Yu Zhang},
  title     = {Formal security proofs with minimal fuss: Implicit computational complexity
               at work},
  journal   = {Inf. Comput.},
  volume    = {241},
  pages     = {96--113},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.ic.2014.10.008},
  doi       = {10.1016/j.ic.2014.10.008},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/NowakZ15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"3TNqmTTSN9G8XxWer","bibbaseid":"nowak-zhang-formalsecurityproofswithminimalfussimplicitcomputationalcomplexityatwork-2015","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":"Formal security proofs with minimal fuss: Implicit computational complexity at work","journal":"Inf. Comput.","volume":"241","pages":"96–113","year":"2015","url":"https://doi.org/10.1016/j.ic.2014.10.008","doi":"10.1016/j.ic.2014.10.008","timestamp":"Thu, 18 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/iandc/NowakZ15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iandc/NowakZ15,\n author = {David Nowak and\n Yu Zhang},\n title = {Formal security proofs with minimal fuss: Implicit computational complexity\n at work},\n journal = {Inf. Comput.},\n volume = {241},\n pages = {96--113},\n year = {2015},\n url = {https://doi.org/10.1016/j.ic.2014.10.008},\n doi = {10.1016/j.ic.2014.10.008},\n timestamp = {Thu, 18 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iandc/NowakZ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nowak, D.","Zhang, Y."],"key":"DBLP:journals/iandc/NowakZ15","id":"DBLP:journals/iandc/NowakZ15","bibbaseid":"nowak-zhang-formalsecurityproofswithminimalfussimplicitcomputationalcomplexityatwork-2015","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.ic.2014.10.008"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.586Z","downloads":0,"keywords":[],"search_terms":["formal","security","proofs","minimal","fuss","implicit","computational","complexity","work","nowak","zhang"],"title":"Formal security proofs with minimal fuss: Implicit computational complexity at work","year":2015,"dataSources":["QsobDjoLrbY9ktAcA"]}