Conference paper Open Access

Machine-Checked Proofs for Cryptographic Standards

Almeida, J.; Baritel-Ruet, C.; Barbosa, M.; Barthe, G.; Dupressoir, F.; Grégoire, B.; Laporte, V.; Stoughton; A.; Strub, P.


BibTeX Export

@proceedings{almeida_j_2020_3956235,
  title        = {Machine-Checked Proofs for Cryptographic Standards},
  year         = 2020,
  publisher    = {Zenodo},
  month        = jul,
  doi          = {10.1145/3319535.3363211},
  url          = {https://doi.org/10.1145/3319535.3363211}
}
22
23
views
downloads
Views 22
Downloads 23
Data volume 22.6 MB
Unique views 22
Unique downloads 23

Share

Cite as