Home
General information
contact@jcert.es | PGP Key : D96AF2303DC160E49785AEBD867361F0F303AD14
- Research activity: security of hardware/software architectures
- Former positions:
- defensive security researcher @ IRIT lab - University of Toulouse
- hardware/software engineer @ BiBench Systems (CNES contractor)
- hardware engineer @ Dolphin Integration
[ English Resume | French CV ]
Security research activities
- Formal verification of hardware architectures
- Defensive security research
- Design of hardware/software security architectures
More information available here.
Education
- (2023) Ph.D: Methods and Models to Formally Verify Remote Attestation on Microprocessors - IRIT - University of Toulouse
- (2011) Master of Science (M.S.) specialized in electronics - University of Bordeaux
no cookie, no javascript, no external resource, KISS!