A
Menu
November 06, 2019 conference-paper Open access

Machine-Checked Proofs for Cryptographic Standards

ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/3319535.3363211 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 32

1 result

References 0