Publisher
source

Guillaume Hiet

1 year ago

Design and formal verification of security mechanisms against fault-injection attacks CentraleSupélec in France

Degree Level

PhD

Field of study

Computer Science

Funding

not provided

Deadline

Expired

Country flag

Country

France

University

CentraleSupélec

Social connections

How do Vietnamese students apply for this?

Sign in for free to reveal details, requirements, and source links.

Where to contact

Keywords

Computer Science
Electrical Engineering
Microarchitecture
Hardware Engineering
Formal Methods
Security And Privacy
Computer Security
Hardware Security

About this position

A PhD position is available at CentraleSupélec in Rennes, France, as part of the TwinSec national research project, focusing on hardware/software security. The research will address the design and formal verification of security mechanisms to protect against fault-injection attacks, with key areas including formal verification, hardware/software contracts, countermeasures for fault injection, and microarchitecture security.

The project is supervised by Guillaume Hiet (CentraleSupélec), Damien Couroussé (CEA), and Mathieu Jan (CEA), and is affiliated with the SUSHI research team and IRISA Lab. Applicants should have skills in hardware design (Verilog/VHDL) or formal methods (Coq, SMT solvers), and an interest in hardware security and fault attacks.

Prior experience is a plus but not required. The start date is before the end of 2025, and there is an option for a Master's internship before the PhD. For more information and application instructions, see the provided link or contact the supervisors directly.

What's required

Applicants should have a strong background in hardware design (Verilog/VHDL) or formal methods (such as Coq or SMT solvers). Interest in hardware security and fault attacks is required; prior experience in these areas is a plus but not mandatory. Candidates should be motivated and able to work on the design and formal verification of security mechanisms. Degree requirements are not explicitly stated but a relevant master's degree is typically expected for PhD entry.

How to apply

Visit the provided link for full details. Interested candidates should contact the supervisors directly. Prepare your CV and relevant documents for application. Optionally, consider a Master's internship before the PhD.

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?

Professors