a person in the record
Nadim Kobeissi
Canadian computer programmer and security researcherborn 1990
Doctorate at Université Paris sciences et lettres in 2018 under Karthikeyan Bhargavan and Bruno Blanchet. Linked to Wikidata, ORCID, and 3 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors2
- cited by a thesis record
Karthikeyan Bhargavan“Formal verification for real-world cryptographic protocols and implementations”
2018 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Bruno Blanchet“Formal verification for real-world cryptographic protocols and implementations”
2018 · Université Paris sciences et lettres · doctoral
The line above and below1 step
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
cited by a thesis recordBruno Blanchetcited by a thesis recordKarthikeyan Bhargavan
Theses1
- cited by a thesis record
Formal verification for real-world cryptographic protocols and implementations
2018 · Université Paris sciences et lettres · doctoral · École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordStéphanie Delaunereferee
- cited by a thesis recordDavid Pointchevaljury president
- cited by a thesis recordCas Cremersjury member
- cited by a thesis recordAntoine Delignat-Lavaudjury member
- cited by a thesis recordRalf Küstersjury member
- cited by a thesis recordTamara Rezkreferee
Education and career4
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 2015 to 2018
- undatedstudied
- undatedstudied
- undatedworked
Works1
2018 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Formal verification for real-world cryptographic protocols and implementations
2018 · doctoral thesis · HAL/TEL OAI
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.