Inproceedings,
Symbolic Methods in Computational Cryptography Proofs.
G. Barthe, B. Grégoire, C. Jacomme, S. Kremer, and P. Strub.CSF, page 136-151. IEEE, (2019)
Meta data
- BibTeX key
- conf/csfw/BartheGJKS19
- entry type
- inproceedings
- booktitle
- CSF
- year
- 2019
- pages
- 136-151
- publisher
- IEEE
- crossref
- conf/csfw/2019
- ee
- https://doi.org/10.1109/CSF.2019.00017
- isbn
- 978-1-7281-1407-1
- url
- http://dblp.uni-trier.de/db/conf/csfw/csfw2019.html#BartheGJKS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/csfw/BartheGJKS19
%A Barthe, Gilles
%A Grégoire, Benjamin
%A Jacomme, Charlie
%A Kremer, Steve
%A Strub, Pierre-Yves
%B CSF
%D 2019
%I IEEE
%K dblp
%P 136-151
%T Symbolic Methods in Computational Cryptography Proofs.
%U http://dblp.uni-trier.de/db/conf/csfw/csfw2019.html#BartheGJKS19
%@ 978-1-7281-1407-1
@inproceedings{conf/csfw/BartheGJKS19,
added-at = {2019-09-09T00:00:00.000+0200},
author = {Barthe, Gilles and Grégoire, Benjamin and Jacomme, Charlie and Kremer, Steve and Strub, Pierre-Yves},
biburl = {https://www.bibsonomy.org/bibtex/25c1ead5a19e947cd26b2a1318e391527/dblp},
booktitle = {CSF},
crossref = {conf/csfw/2019},
ee = {https://doi.org/10.1109/CSF.2019.00017},
interhash = {e5dbcfc9c06d546564d56753b0dfc9c1},
intrahash = {5c1ead5a19e947cd26b2a1318e391527},
isbn = {978-1-7281-1407-1},
keywords = {dblp},
pages = {136-151},
publisher = {IEEE},
timestamp = {2019-10-17T15:56:31.000+0200},
title = {Symbolic Methods in Computational Cryptography Proofs.},
url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2019.html#BartheGJKS19},
year = 2019
}