%0 Conference Paper %1 conf/ccs/AlmeidaBBBDGL0S19 %A Almeida, José Bacelar %A Baritel-Ruet, Cécile %A Barbosa, Manuel %A Barthe, Gilles %A Dupressoir, François %A Grégoire, Benjamin %A Laporte, Vincent %A Oliveira, Tiago %A Stoughton, Alley %A Strub, Pierre-Yves %B CCS %D 2019 %E Cavallaro, Lorenzo %E Kinder, Johannes %E Wang, XiaoFeng %E Katz, Jonathan %I ACM %K dblp %P 1607-1622 %T Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#AlmeidaBBBDGL0S19 %@ 978-1-4503-6747-9

@inproceedings{conf/ccs/AlmeidaBBBDGL0S19, added-at = {2021-03-29T00:00:00.000+0200}, author = {Almeida, José Bacelar and Baritel-Ruet, Cécile and Barbosa, Manuel and Barthe, Gilles and Dupressoir, François and Grégoire, Benjamin and Laporte, Vincent and Oliveira, Tiago and Stoughton, Alley and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/21bb0cc790dd1dea14b670dfccc64d015/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2019}, editor = {Cavallaro, Lorenzo and Kinder, Johannes and Wang, XiaoFeng and Katz, Jonathan}, ee = {https://doi.org/10.1145/3319535.3363211}, interhash = {91b2f903a055cb9f5e90e2d4ae0eaa01}, intrahash = {1bb0cc790dd1dea14b670dfccc64d015}, isbn = {978-1-4503-6747-9}, keywords = {dblp}, pages = {1607-1622}, publisher = {ACM}, timestamp = {2024-04-10T06:08:30.000+0200}, title = {Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#AlmeidaBBBDGL0S19}, year = 2019 }