%0 Conference Paper %1 conf/pldi/Appel15 %A Appel, Andrew W. %B PLDI %D 2015 %E Grove, David %E Blackburn, Stephen M. %I ACM %K dblp %P 153 %T Verification of a cryptographic primitive: SHA-256 (abstract). %U http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#Appel15 %@ 978-1-4503-3468-6

@inproceedings{conf/pldi/Appel15, added-at = {2021-06-23T00:00:00.000+0200}, author = {Appel, Andrew W.}, biburl = {https://www.bibsonomy.org/bibtex/2ba1d6612eb15f929fc36748b7b85e73d/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2015}, editor = {Grove, David and Blackburn, Stephen M.}, ee = {https://doi.org/10.1145/2813885.2774972}, interhash = {002e4453594cc0a814cb3b57b9b13a25}, intrahash = {ba1d6612eb15f929fc36748b7b85e73d}, isbn = {978-1-4503-3468-6}, keywords = {dblp}, pages = 153, publisher = {ACM}, timestamp = {2024-04-09T18:59:54.000+0200}, title = {Verification of a cryptographic primitive: SHA-256 (abstract).}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2015.html#Appel15}, year = 2015 }