Adrien KOUTSOS

PhD Student

Research

I am currently a PhD student under the supervision of Hubert Comon. My thesis is on automated proofs of computational indistiguishability properties for security protocols.

Recent Works

My older works can be found here.

Some talks

About LSV

Contact

Adrien KOUTSOS
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-103
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
firstname (dot) name (at) lsv.fr