TELECOM-ParisTech crypto group seeks 4 PhD students
TELECOM-ParisTech crypto group develops prototype solutions to fight against cyber and physical penetration of embedded devices.
Our contributions in this field of research are:
- Security building blocks:
- with security / cost tradeoffs (quantifiable), e.g. \\\"Low Entropy Masking Schemes\\\" (LEMS), where security and cost are tunable by the amount of injected randomness,
- resistance against invasive attacks (e.g., circuit editing, backside probing),
- processor aware of malware usual attack strategies
- Security policies:
How to implement a responsive \\\"security driver\\\" that collects all the alarms and take adequate actions?
Such piece of software is critical: it must be functionally validated and tamper resistant
- Formal proofs:
- Both security-oriented hardware and software codes must be proven, as compliant with their specification and implementing indeed the properties they are assumed to have
- Mathematical analysis of proposed countermeasures (e.g. LEMS)
We seek four PhD candidates on those subjects:
- \\\"Calculer dans les codes comme contremesure aux attaques physiques\\\", https://edite-de-paris.fr/spip/spip.php?page=phdproposal&id=10213751
- \\\"Native Protection of Processors against Cyber-Attacks\\\", https://edite-de-paris.fr/spip/spip.php?page=phdproposal&id=10253861
- \\\"Insertion automatique de contre-mesures dans des circuits de sécurité\\\", https://edite-de-paris.fr/spip/spip.php?page=phdproposal&id=10213779
- \\\"Attaques FIRE : Rétroconception de cryptographie secrète\\\", https://edite-de-paris.fr/spip/spip.php?page=phdproposal&id=10166999
Working language is French or English.
Positions are open until Aug 2014.