Jean-Christophe Bach, Associate Professor at IMT Atlantique
WIP
Informations
x.y@imt-atlantique.fr | |
with x → jc and y → bach | |
Phone | (+33) (0)2 29 00 15 73 |
Office | D03-124 |
Public key | 0x520E0E85EA19F34E / Fingerprint=A8C3 C208 1C6A 209B DE2A 2D6C 520E 0E85 EA19 F34E |
Jabber (IM) | x.y@im.apinc.org, with the same previous rewriting rules |
Current institutional page (should be updated…)
Short bio
TODO
Research interests
I am interesting in improving trust in software systems. I am interesting in the product (software) and in the production process (the process to obtain the software system, from design to delivery) in order to improve the security of software systems.
Therefore I work to improve the software security from the beginning of the process. It is usually called « security by design ». It reduces the usual reactive process where software engineers wait for vulnerabilities to write a patch.
To achieve this goal, my main research interests are the following:
- software engineering
- security
- software quality to improve security and safety
- languages
- transformations (of languages, models, programs,…)
- traceability (of transformations, …)
- formal methods
- verification helpers
- model federation
- software evolution
- software migration
Domains of application can easily change, however I am currently focusing on software security (“cybersecurity”) and Industry 4.0.
Current PhD students
I do not have an HDR, therefore PhDs are co-advised.
- Benjamin Somers, 11/2020 –
- Modélisation d’infrastructure informatique pour l’identification et la prévention des risques
- Co-advised with F. Dagnat (PhD director)
- funded by Arkea
- Bruno Mateu, 03/2022 –
- Traçabilité des transformations dans les compilateurs obfuscants
- Co-advised with F. Dagnat (PhD director)
- funded by Quarkslab
Past PhD students
- Etienne Louboutin, 11/2016 – 01/2021
- Software sensitivity to control flow hijack (Sensibilité de logiciels au détournement de flot de contrôle)
- Keywords: Control flow hijack, Security-by-design, Sensitivity to attacks, Binary analysis
- Co-advised with F. Dagnat (PhD director)
- funded by chaire de cyberdéfense des systèmes navals
Teaching
TODO
I am mainly involved in the following courses:
- TAF DLR/DCL
- IDL (Ingénierie du Développement Logiciel) – Software Development Engineering: responsible of the UE; lectures, practical work and contribution to FLOSS projects
- MAPD (Méthodes Avancée et Processus de Développement) – Advanced Methods and Development Process
- CONC
- LANGLOG – Languages and Logics: formal méthods, languages, compilation, λ-calculus, OCaml
- TAF ILSD
- FIAB
- CAD
- last year project
- FIP (1st year)
- basics of C programming language (practical work)