Interested in hardware support for security?
Don’t forget to register for HS3@ESORICS, 25 Sept 2025, Toulouse

We have a great program, including a talk by Robert Norton on CHERIoT hs3-workshop.github.io/2025.html
!

Registration: esorics2025.sciencesconf.org/resource/pag...

Hope to see you there!

Perfect timing; dropped into Robert Watson’s and Carl Shaw’s (#codasip) talks on #cheri at INRIA while visiting @guillaumehiet.bsky.social at CentraleSupélec in #rennes […]

[Original post on mastodon.social]

🔒 We’re hiring a postdoc at Inria SUSHI (Rennes, FR)! Work on formal verification of security across compilers, OS & hardware (e.g., RISC-V, CompCert).
📍 Rennes 🇫🇷 | 💶 ~€3K–3.2K/mo | 🛠️ Formal methods + security
📧 guillaume.hiet@inria.fr
team.inria.fr/sushi/files/...
#Hiring #FormalMethods #RISC-V

Journées nationales of the GDR are starting today in Caen!

🛠️🔐 HS3 @ ESORICS 2025 — Deadline extended to June 23!

Rejected from ESORICS? Don’t give up — we welcome revised or shortened submissions!
Flexible formats (w/ or w/o proceedings), incl. work-in-progress.

📍 Toulouse, Sept 25 — join us!

hs3-workshop.github.io/2025.html

We have extended the deadline for HS3 until June 20th 2025.

Do not miss a great opportunity to present your work on hardware/software security!
HS3 is co-located with ESORICS in Toulouse (September 25, 2025).
We accept different types of submissions, including WIP.
hs3-workshop.github.io/2025.html

We are organising #HS3Workshop 2025: the 1st Workshop on Hardware-Supported Software Security, co-located with #ESORICS on 2025-09-25 in Toulouse, France.

Special theme: secure monitoring and intrusion detection. Submission deadline: 2025-05-21 AoE.

More info: hs3-workshop.github.io/2025.html

🎂L'IRISA fête ses 50 ans !

🔴Un demi-siècle de recherche et d'innovation
🟣+ 800 membres unissant leurs forces pour repousser les frontières de la connaissance
🔵l'un des plus grands et anciens laboratoires de recherche en informatique de France !

En savoir + : www.irisa.fr/50-ans-de-l-...

Two tenured professor or assistant professor positions are open at CentraleSupélec Rennes (PIRAT & SUSHI Inria teams). Deadline: in 12 days!

PhD in computer security or related fields (OS, formal methods, program analysis) required. No “qualification MCF” is required.
team.inria.fr/sushi/files/...

PhD Opportunity in Hardware/Software Security!

@centralesupelec.bsky.social & @cea.fr are recruiting a PhD student to formally verify HW/SF security mechanisms against fault-injection attacks.

SUSHI team, @irisa-lab.bsky.social
Master’s internship possible

team.inria.fr/sushi/files/...

We’re Hiring – Tenured Faculty Positions in Cybersecurity!

CentraleSupélec is recruiting 2 tenured Ass. Prof. / Prof. in Cybersecurity at IRISA (UMR CNRS 6074), Rennes, France.

Application deadline: April 14, 2025
Full job details: team.inria.fr/sushi/files/...

Contact us before applying!