%0 Conference Paper %1 conf/kryptotag/Fourne18 %A Fourné, Marcel %B Krypto-Tag %D 2018 %E Huth, Christopher %E Nüsken, Michael %I Gesellschaft für Informatik e.V. / FG KRYPTO %K dblp %T Can Verification of Cryptographic Libraries be liberated from the von Neumann Style? %U http://dblp.uni-trier.de/db/conf/kryptotag/kryptotag2018-2.html#Fourne18

@inproceedings{conf/kryptotag/Fourne18, added-at = {2020-09-18T00:00:00.000+0200}, author = {Fourné, Marcel}, biburl = {https://www.bibsonomy.org/bibtex/208a144858a5cf785b65784a9bb2b4d10/dblp}, booktitle = {Krypto-Tag}, crossref = {conf/kryptotag/2018-2}, editor = {Huth, Christopher and Nüsken, Michael}, ee = {https://doi.org/10.18420/cdm-2018-29-26}, interhash = {7177eba0a988440a52b0518f45adde27}, intrahash = {08a144858a5cf785b65784a9bb2b4d10}, keywords = {dblp}, publisher = {Gesellschaft für Informatik e.V. / FG KRYPTO}, timestamp = {2020-09-19T11:47:53.000+0200}, title = {Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?}, url = {http://dblp.uni-trier.de/db/conf/kryptotag/kryptotag2018-2.html#Fourne18}, year = 2018 }