## Accueil et contact

Docteur en informatique, Maître de Conférence de l'Université Clermont Auvergne, j'effectue ma recherche dans le Thème Réseaux de capteurs du LIMOS (UMR 6158) et mon enseignement au département Informatique de l'IUT et à l'ISIMA. De 2013 à 2016 dans le cadre de la chaire de confiane numérique j'ai organisé chaque mois un séminaire sur la confiance numérique.

### Offre de POST-DOC

"Constraint Programming for Cryptanalysis of Symmetric Encryption Schemes".
Pour postuler m'envoyer un CV par email.

### Contact

Email : firstname.lastname@uca.fr

- Téléphone ISIMA : `+33 4.73.40.71.17`
- Téléphone IUT : `+33 4.73.17.71.16`
- Téléphone portable : `+33 6.83.54.90.70`

Fax : `+33 4.73.17.71.11`

### Doctorants

#### En cours :

- Matthieu Giraud: Cloud Security
- David Gérault : Security Analysis of Contactless Communication Protocols

#### Passés:

- Marion Daubignard (ANSSI): Formal Methods For Concrete Security Proofs
- Jannik Dreier (Maître de conférences au LORIA): Formal Verification of Voting and Auction Protocols: From Privacy to Fairness and Verifiability
- Raphael Jamet (Google) : Protocols and Models for the Security of Wireless Ad-Hoc Networks
- Ali Kassem (Post-doc INRIA): Automated Verification of Exam, Cash, Reputation, and Routing Protocols
- Amrit Kumar (Post-doc Singapour): Security and Privacy of Hash-Based Software Applications
- Xavier Bultel (Post-doc Rennes) Delegation Mechanisms for Public Key Primitives