Cargando…
Modelling and verification of post-quantum key encapsulation mechanisms using Maude
Communication and information technologies shape the world’s systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical computers, that is, the available current computers. Recent advances in quantum compu...
| Autores principales: | , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
PeerJ Inc.
2023
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10557524/ https://www.ncbi.nlm.nih.gov/pubmed/37810329 http://dx.doi.org/10.7717/peerj-cs.1547 |