Efficient Verification of Optimized Code: Correct High-Speed X25519

Autor: Schoolderman, M.R., Moerman, J.S., Smetsers, J.E.W., Eekelen, M. van, Dutle, A., Moscato, M.M., Titolo, L., Muñoz, C.A., Perez, I.

Publikováno v: Dutle, A.; Moscato, M.M.; Titolo, L. (ed.), NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings, 304-321. Cham : Springer International Publishing
STARTPAGE=304;ENDPAGE=321;ISSN=0302-9743;TITLE=Dutle, A.; Moscato, M.M.; Titolo, L. (ed.), NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f363926e8535361fbefc4c08e27f5894
https://hdl.handle.net/2066/233888

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.