Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Zinzindohoue, Jean Karim"'
Autor:
Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hritcu, Catalin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil
We present Low*, a language for low-level programming and verification, and its application to high-assurance optimized cryptographic libraries. Low* is a shallow embedding of a small, sequential, well-behaved subset of C in F*, a dependently-typed v
Externí odkaz:
http://arxiv.org/abs/1703.00053
Autor:
Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim
Publikováno v:
Communications of the ACM; Feb2017, Vol. 60 Issue 2, p99-107, 9p, 4 Diagrams, 2 Charts
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim
Publikováno v:
2015 IEEE Symposium on Security & Privacy; 2015, p535-552, 18p
Autor:
Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim
Publikováno v:
Communications of the ACM. 60(2):99-107
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::73cdfdccf2a22d3c519124451687811e