%0 Journal Article %1 journals/iandc/NowakZ15 %A Nowak, David %A Zhang, Yu %D 2015 %J Inf. Comput. %K dblp %P 96-113 %T Formal security proofs with minimal fuss: Implicit computational complexity at work. %U http://dblp.uni-trier.de/db/journals/iandc/iandc241.html#NowakZ15 %V 241

@article{journals/iandc/NowakZ15, added-at = {2023-08-28T00:00:00.000+0200}, author = {Nowak, David and Zhang, Yu}, biburl = {https://www.bibsonomy.org/bibtex/2b8476e32e220edd06f42da5b994d252c/dblp}, ee = {https://www.wikidata.org/entity/Q113872848}, interhash = {996b90acff3baa498fbfd81faaa3628f}, intrahash = {b8476e32e220edd06f42da5b994d252c}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {96-113}, timestamp = {2024-04-09T06:09:46.000+0200}, title = {Formal security proofs with minimal fuss: Implicit computational complexity at work.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc241.html#NowakZ15}, volume = 241, year = 2015 }