360:
261:
350:
214:
89:
345:
77:
335:
20:
355:
46:
systems. She has also contributed to the public dissemination of knowledge about cryptography through a sequence of posts on the
121:
340:
116:
137:
236:
266:
330:
61:
60:, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) at the
39:
105:
126:
for the best French dissertation in computer science. She also won a second dissertation prize, from
262:"Nancy : la chercheuse Véronique Cortier reçoit un prix pour son logiciel de vote électronique"
84:. She remained at Cachan for her doctoral studies, completing a Ph.D. in 2003 with the dissertation
166:
35:
145:
141:
43:
311:
281:
110:
315:
19:
324:
185:
81:
65:
93:
31:
216:
Véronique
Cortier : Inria–French Académie des sciences Young Researcher Award
241:
171:
128:
52:
361:
Research directors of the French
National Centre for Scientific Research
306:
246:
80:
from 1997 until 2001, earning a master's degree and completing her
133:
18:
30:
is a French mathematician and computer scientist specializing in
57:
96:
in 2009, and became a director of research with CNRS in 2010.
237:"8e édition du Prix Le Monde de la recherche universitaire"
144:, a secure electronic voting system. In 2022 she won the
76:
Cortier studied mathematics and computer science at the
88:supervised by Hubert Comon. She joined the French
132:. In 2015 she became the second woman to win the
86:Automatic Verification of Cryptographic Protocols
42:, and has included the development of secure
8:
90:Centre national de la recherche scientifique
23:Véronique Cortier in Nancy (France) in 2017
16:French mathematician and computer scientist
351:21st-century French women mathematicians
260:Poplavsky, Alexandre (28 October 2015),
165:Delaune, Stéphanie (16 September 2015),
209:
207:
205:
157:
140:Young Researcher Award for her work on
56:. She is a director of research with
7:
104:Cortier was the 2003 winner of the
346:21st-century French mathematicians
78:École normale supérieure de Cachan
14:
336:French women computer scientists
117:Société informatique de France
38:in the formal verification of
1:
92:(CNRS) in 2003, completed a
356:French women cryptographers
245:(in French), archived from
239:, Le Monde de l'Education,
34:. Her research has applied
377:
138:French Academy of Sciences
314:publications indexed by
283:Médailles d'argent 2022
40:cryptographic protocols
62:University of Lorraine
24:
341:French cryptographers
22:
72:Education and career
167:"Bravo Véronique!"
36:mathematical logic
25:
312:Véronique Cortier
267:L'Est Républicain
146:CNRS Silver Medal
106:Gilles Kahn Prize
44:electronic voting
28:Véronique Cortier
368:
294:
293:
292:
291:
278:
272:
271:
257:
251:
250:
233:
227:
226:
225:
224:
211:
200:
199:
198:
197:
192:
187:Curriculum vitae
182:
176:
175:
162:
125:
114:
376:
375:
371:
370:
369:
367:
366:
365:
321:
320:
303:
298:
297:
289:
287:
280:
279:
275:
259:
258:
254:
235:
234:
230:
222:
220:
213:
212:
203:
195:
193:
190:
184:
183:
179:
164:
163:
159:
154:
119:
108:
102:
74:
17:
12:
11:
5:
374:
372:
364:
363:
358:
353:
348:
343:
338:
333:
323:
322:
319:
318:
316:Google Scholar
309:
302:
301:External links
299:
296:
295:
273:
252:
228:
201:
177:
156:
155:
153:
150:
101:
98:
73:
70:
15:
13:
10:
9:
6:
4:
3:
2:
373:
362:
359:
357:
354:
352:
349:
347:
344:
342:
339:
337:
334:
332:
331:Living people
329:
328:
326:
317:
313:
310:
308:
305:
304:
300:
285:
284:
277:
274:
269:
268:
263:
256:
253:
249:on 2005-01-26
248:
244:
243:
238:
232:
229:
218:
217:
210:
208:
206:
202:
189:
188:
181:
178:
174:
173:
168:
161:
158:
151:
149:
147:
143:
139:
135:
131:
130:
123:
118:
112:
107:
99:
97:
95:
91:
87:
83:
79:
71:
69:
67:
63:
59:
55:
54:
49:
45:
41:
37:
33:
29:
21:
288:, retrieved
282:
276:
265:
255:
247:the original
240:
231:
221:, retrieved
215:
194:, retrieved
186:
180:
170:
160:
127:
103:
94:habilitation
85:
75:
51:
47:
32:cryptography
27:
26:
270:(in French)
169:, binaire,
120: [
109: [
100:Recognition
325:Categories
290:2023-02-22
223:2019-10-27
196:2019-10-27
152:References
82:agrégation
307:Home page
242:Le Monde
172:Le Monde
142:Belenios
129:Le Monde
53:Le Monde
50:blog of
219:, INRIA
115:of the
48:binaire
286:, CNRS
191:(PDF)
134:INRIA
124:]
113:]
66:Nancy
136:and
58:CNRS
64:in
327::
264:,
204:^
148:.
122:fr
111:fr
68:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.