%0 Conference Paper %1 conf/csfw/DupressoirZ21 %A Dupressoir, François %A Zain, Sara %B CSF %D 2021 %I IEEE %K dblp %P 1-15 %T Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#DupressoirZ21 %@ 978-1-7281-7607-9

@inproceedings{conf/csfw/DupressoirZ21, added-at = {2021-08-13T00:00:00.000+0200}, author = {Dupressoir, François and Zain, Sara}, biburl = {https://www.bibsonomy.org/bibtex/29fe7ec4ce9e3f9748fa9cdf23e1d146b/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2021}, ee = {https://doi.org/10.1109/CSF51468.2021.00014}, interhash = {edc0b57a7dd9dbc8b8fb97b2f2476d0b}, intrahash = {9fe7ec4ce9e3f9748fa9cdf23e1d146b}, isbn = {978-1-7281-7607-9}, keywords = {dblp}, pages = {1-15}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:03.000+0200}, title = {Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#DupressoirZ21}, year = 2021 }