About Me
I'm Edouard Michelin, a cybersecurity engineer (ing. cybersec. dipl. EPF-ETH) with a great interest in system and software security, who likes learning new things.
Education
M.S. in Cybersecurity
École Polytechnique Fédérale de Lausanne, 2023 - 2024
ETH Zurich, 2024 - 2025
Focused on system and software security, with broad knowledge on cryptography, privacy, and networks.
B.S. in Computer Science
École Polytechnique Fédérale de Lausanne, 2023
Focused on programming paradigms, algorithms, and general computer science background.
Professional Experience
MSc Thesis, Research Intern in Systems Security
ABB Corp. Research Center, Mar. - Aug. 2025
Conducting research on providing industrial control systems (ICS) with security and safety guarantees under real-time constraints, working at the firmware and kernel levels
Presenting research results in front of the business unit, scientists, and engineers.
Student Assistant in CS-311: Software Enterprise
EPFL, Fall semester 2024
Reviewing content of the course material, including lecture slides and bootcamp project instructions
Helping students understand the course material
Guiding and supporting teams of 7 students developing a functional mobile application
Full stack web developer, Traineeship
beqom, Oct. 2018 - Aug. 2019
Development of new features on an in-house tool
Backend services optimizations and complete frontend rewriting of said tool
Development of new features on the main product
Research Projects
On the Enforcement of Attestable Availability Guarantees for Arm-based Industrial Multi-Tenant Real-Time Systems
Master's Thesis
Design of a novel security architecture that bridges attestation of real-time execution with guarantees of real-time availability, even in the presence of a fully compromised Normal world OS present from system startup
Prototype implementation on an Arm TrustZone-enabled development board to demonstrate feasibility of the design
Performance evaluation of the prototype showing the architecture supports high-frequency real-time execution (up to 110kHz, i.e., less than 10us period) with low scheduling latency (as low as 6us), while preserving confidentiality and integrity of IP code and data
Security evaluation showing mitigation of well-known attacks on industrial systems listed in MITRE ATT&CK Matrix for ICS
Arm CCA-Based Normal-World Enclaves with Device Isolation
Semester Project (MSc)
Design of an Arm CCA-based system providing Non-secure world enclaves with runtime isolation and peripheral interaction isolation
Implementation of a multi-GPT (Granule Protection Table) design for core-wise memory partitioning
Secure Monitor implementation in Trusted Firmware-A with support for RME (Realm Management Extensions)
Skills
System programming/security --
C, Aarch64 assembly, Arm v8 and v9 internals (Trusted
Firmware-A, OP-TEE, TrustZone, CCA)
Software development/security --
C, C#, Java, Scala, Reverse engineering (Ghidra)
Web development/security --
HTML, CSS, JS, PHP, .NET
Mobile development/security --
Java, Kotlin, Jetpack Compose
Compiler design
Interests
System security
Trusted Execution Environments (TEE)
Operating systems
Software security
Software engineering
Computer languages, compilers
Languages
French (Native)
English (Fluent)
German (Basic)