Machine-Checked Proofs for Cryptographic Standards

Overview of attention for article published in this source, November 2019

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 22 Mendeley

So far, Altmetric has seen 1 X post from an account with 87 followers.

Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3 https://t.co/QQ0bS4EWP1

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.