%0 Conference Paper %1 conf/secsr/BhargavanKS18 %A Bhargavan, Karthikeyan %A Kiefer, Franziskus %A Strub, Pierre-Yves %B SSR %D 2018 %E Cremers, Cas %E Lehmann, Anja %I Springer %K dblp %P 1-20 %T hacspec: Towards Verifiable Crypto Standards. %U http://dblp.uni-trier.de/db/conf/secsr/ssr2018.html#BhargavanKS18 %V 11322 %@ 978-3-030-04762-7

@inproceedings{conf/secsr/BhargavanKS18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Bhargavan, Karthikeyan and Kiefer, Franziskus and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/28573ed1596206a337ba8091a87ed382e/dblp}, booktitle = {SSR}, crossref = {conf/secsr/2018}, editor = {Cremers, Cas and Lehmann, Anja}, ee = {https://doi.org/10.1007/978-3-030-04762-7_1}, interhash = {7aa1c7ae662917e6821253816f3b89be}, intrahash = {8573ed1596206a337ba8091a87ed382e}, isbn = {978-3-030-04762-7}, keywords = {dblp}, pages = {1-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:30:43.000+0200}, title = {hacspec: Towards Verifiable Crypto Standards.}, url = {http://dblp.uni-trier.de/db/conf/secsr/ssr2018.html#BhargavanKS18}, volume = 11322, year = 2018 }