hacspec: Towards Verifiable Crypto Standards.

Karthikeyan Bhargavan Franziskus Kiefer Pierre-Yves Strub

Published in: SSR (2018)

Keyphrases

widely accepted
iso iec
sufficient conditions
web services
digital signature
secret sharing
international standard
ims qti
neural network
computer vision
multiscale
multi agent
expert systems
open source
smart card
security protocols