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.


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
22
23
views
downloads
Views 22
Downloads 23
Data volume 22.6 MB
Unique views 22
Unique downloads 23

Share

Cite as