paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 253133874Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Kobeissi, Nadim (1990-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais,français
Pays : Liban,France,Etats-Unis d'Amérique
Date de naissance :    1990
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en informatique de l'université de recherche Paris sciences et lettres (2018)

Identifiants externes

Identifiant ORCID : 0000-0001-6756-7253
Identifiant HAL : nadim-kobeissi

Source

Formal verification for real-world cryptographic protocols and implementations / par Nadim Kobeissi ; sous la direction de Karthikeyan Bhargavan et de Bruno Blanchet, 2018 [thèse]

Nadim Kobeissi, Georgio Nicolas, Karthikeyan Bhargavan. Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. (hal-01948964v2)

https://catalogue.bnf.fr/ark:/12148/cb17881734n, 2021-05-31

Information trouvée : Kobeissi, Nadim

... Références liées : ...