Véronique Cortier is a French mathematician and computer scientist specializing in cryptography. Her research has applied mathematical logic in the formal verification of cryptographic protocols, and has included the development of secure electronic voting systems. She has also contributed to the public dissemination of knowledge about cryptography through a sequence of posts on the binaire blog of Le Monde. She is a director of research with CNRS, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) at the University of Lorraine in Nancy.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Véronique Cortier (de)
- Véronique Cortier (fr)
- Véronique Cortier (en)
|
rdfs:comment
| - Véronique Cortier (* 20. Jahrhundert) ist eine französische Mathematikerin und Informatikerin. Sie ist Forschungsdirektorin am Centre national de la recherche scientifique (CNRS) und Mitglied des an der Université de Lorraine in Nancy. (de)
- Véronique Cortier est une informaticienne française, spécialiste des protocoles de sécurité informatique. (fr)
- Véronique Cortier is a French mathematician and computer scientist specializing in cryptography. Her research has applied mathematical logic in the formal verification of cryptographic protocols, and has included the development of secure electronic voting systems. She has also contributed to the public dissemination of knowledge about cryptography through a sequence of posts on the binaire blog of Le Monde. She is a director of research with CNRS, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) at the University of Lorraine in Nancy. (en)
|
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
has abstract
| - Véronique Cortier (* 20. Jahrhundert) ist eine französische Mathematikerin und Informatikerin. Sie ist Forschungsdirektorin am Centre national de la recherche scientifique (CNRS) und Mitglied des an der Université de Lorraine in Nancy. (de)
- Véronique Cortier est une informaticienne française, spécialiste des protocoles de sécurité informatique. (fr)
- Véronique Cortier is a French mathematician and computer scientist specializing in cryptography. Her research has applied mathematical logic in the formal verification of cryptographic protocols, and has included the development of secure electronic voting systems. She has also contributed to the public dissemination of knowledge about cryptography through a sequence of posts on the binaire blog of Le Monde. She is a director of research with CNRS, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) at the University of Lorraine in Nancy. (en)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |