Inproceedings,
Tidy: Symbolic Verification of Timed Cryptographic Protocols.
G. Barthe, U. Lago, G. Malavolta, and I. Rakotonirina.CCS, page 263-276. ACM, (2022)
Meta data
- BibTeX key
- conf/ccs/BartheLMR22
- entry type
- inproceedings
- booktitle
- CCS
- year
- 2022
- pages
- 263-276
- publisher
- ACM
- crossref
- conf/ccs/2022
- ee
- https://doi.org/10.1145/3548606.3559343
- isbn
- 978-1-4503-9450-5
- url
- http://dblp.uni-trier.de/db/conf/ccs/ccs2022.html#BartheLMR22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ccs/BartheLMR22
%A Barthe, Gilles
%A Lago, Ugo Dal
%A Malavolta, Giulio
%A Rakotonirina, Itsaka
%B CCS
%D 2022
%E Yin, Heng
%E Stavrou, Angelos
%E Cremers, Cas
%E Shi, Elaine
%I ACM
%K dblp
%P 263-276
%T Tidy: Symbolic Verification of Timed Cryptographic Protocols.
%U http://dblp.uni-trier.de/db/conf/ccs/ccs2022.html#BartheLMR22
%@ 978-1-4503-9450-5
@inproceedings{conf/ccs/BartheLMR22,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Barthe, Gilles and Lago, Ugo Dal and Malavolta, Giulio and Rakotonirina, Itsaka},
biburl = {https://www.bibsonomy.org/bibtex/2d7cca58f18c9ade8d213c5b4e351352f/dblp},
booktitle = {CCS},
crossref = {conf/ccs/2022},
editor = {Yin, Heng and Stavrou, Angelos and Cremers, Cas and Shi, Elaine},
ee = {https://doi.org/10.1145/3548606.3559343},
interhash = {65615df84bb52cf3b79e33c6d0c833a1},
intrahash = {d7cca58f18c9ade8d213c5b4e351352f},
isbn = {978-1-4503-9450-5},
keywords = {dblp},
pages = {263-276},
publisher = {ACM},
timestamp = {2024-04-09T10:14:47.000+0200},
title = {Tidy: Symbolic Verification of Timed Cryptographic Protocols.},
url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2022.html#BartheLMR22},
year = 2022
}