%0 Journal Article %1 journals/iacr/MilnerCYR17 %A Milner, Kevin %A Cremers, Cas %A Yu, Jiangshan %A Ryan, Mark %D 2017 %J IACR Cryptology ePrint Archive %K dblp %P 234 %T Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2017.html#MilnerCYR17 %V 2017

@article{journals/iacr/MilnerCYR17, added-at = {2018-08-14T00:00:00.000+0200}, author = {Milner, Kevin and Cremers, Cas and Yu, Jiangshan and Ryan, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2e0ba7ce7a8648e63a199fb14ae871913/dblp}, ee = {http://eprint.iacr.org/2017/234}, interhash = {01b6f17a74906c08768142741564e61d}, intrahash = {e0ba7ce7a8648e63a199fb14ae871913}, journal = {IACR Cryptology ePrint Archive}, keywords = {dblp}, pages = 234, timestamp = {2018-08-15T11:56:15.000+0200}, title = {Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2017.html#MilnerCYR17}, volume = 2017, year = 2017 }