%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 = {2015-04-25T00:00:00.000+0200}, author = {Nowak, David and Zhang, Yu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b8476e32e220edd06f42da5b994d252c/dblp}, ee = {http://dx.doi.org/10.1016/j.ic.2014.10.008}, interhash = {996b90acff3baa498fbfd81faaa3628f}, intrahash = {b8476e32e220edd06f42da5b994d252c}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {96-113}, timestamp = {2016-02-02T05:37:32.000+0100}, 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 }