Knowledge Tree

researcher / Jean-Louis Lanet

Jean-Louis Lanet

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Placement statique de taches dans un calculateur temps reel tolerant les fautes

Directed Thesis:

Log analysis for malicious software detection

Analyse des vulnérabilités dans des systèmes embarqués face à des attaques par fuzzing

Analyse de vulnérabilité des systèmes embarqués face aux attaques physiques

Formal fault injection vulnerability detection in binaries : a software process and hardware validation

Analyse et détection de logiciels de rançon

The GNU Taler system : practical and provably secure electronic payments

Validation des spécifications formelles de la mise à jour dynamique des applications Java Card

Security of micro-controllers : From smart cards to mobile devices

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

A Generic Approach for Protecting Java Card™ Smart Card Against Software Attacks

Sécurité des cartes à puce à serveur Web embarqué

Mise à jour dynamique pour cartes à puce Java