Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Matthew J. Campagna"'
Publikováno v:
IEEE Transactions on Circuits and Systems I: Regular Papers. 66:4209-4218
In this paper, we present highly-optimized constant-time software libraries for supersingular isogeny key encapsulation (SIKE) protocol on ARMv8 processors. Our optimized hand-crafted assembly libraries provide the most efficient timing results on 64
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26927909ef45a26a35481e8d1a2373a2
https://doi.org/10.1109/tcsi.2019.2920869
https://doi.org/10.1109/tcsi.2019.2920869
Autor:
Vitor Pereira, José B. Almeida, Benjamin Grégoire, Pierre-Yves Strub, Serdar Tasiran, Ernie Cohen, Manuel Barbosa, Gilles Barthe, Bernardo Portela, Matthew J. Campagna
Publikováno v:
CCS
ACM CCS 2019-26th ACM Conference on Computer and Communications Security
ACM CCS 2019-26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.63-78, ⟨10.1145/3319535.3354228⟩
ACM CCS 2019-26th ACM Conference on Computer and Communications Security
ACM CCS 2019-26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.63-78, ⟨10.1145/3319535.3354228⟩
We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS customers. Domain management is at the core of AWS KMS;
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2118f3eb8993c52131e01c3f034a1d8a
https://hdl.handle.net/1822/66487
https://hdl.handle.net/1822/66487
Autor:
Matthew J. Campagna
Publikováno v:
Communications in Algebra. 28:83-92
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96f5c4747188bac0a563032ec3de4c15
https://doi.org/10.1080/00927870008826829
https://doi.org/10.1080/00927870008826829