Knowledge Tree

researcher / Sébastien Bardin

Sébastien Bardin

at_id:

orcid_id:

Disciplines:

Computer sciences

Physics

Edit Merge See Links

Thesis:

Etude des interactions plasma-paroi par imagerie rapide : application aux plasmas de laboratoire et de tokamak

Vers un Model Checking avec accélération plate des systèmes hétérogènes

Directed Thesis:

Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes