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 📧 [email protected] 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!