Guillaume Hiet
guillaumehiet.bsky.social
Guillaume Hiet
@guillaumehiet.bsky.social
Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
Souhaitez-vous suivre à distance les journées nationales du groupe de travail SSLR du GDR SI ? Suivez le live sur live.laas.fr
Programme des journées: gtsslr2026.sciencesconf.org/program?lang...
LAAS-CNRS Live
live.laas.fr
October 5, 2026 at 11:45 AM
📢 Registration is open for ISC 2026!
Register: isc2026.github.io/registration/

📍 Rennes, France | Oct. 28–30
🎤 Shweta Shinde & Diego F. Aranha
🏰 Social event at Mont Saint-Michel

Don’t forget the social event and sponsor forms!

#ISC2026 #Cybersecurity
Registration - ISC 2026
isc2026.github.io
September 28, 2026 at 7:20 AM
Ravi d’avoir contribué au dernier numéro de @cashinvestigation.bsky.social sur les cyberarnaques et la cybersécurité

J’espère que cette émission contribuera à sensibiliser le grand public à l’importance de renforcer la cybersécurité de nos systèmes.

Replay : www.franceinfo.fr/replay-magaz...
"Cash Investigation". Cyber-arnaques : l'Etat et les entreprises nous protègent-ils vraiment ?
"Cash Investigation". Cyber-arnaques : l'Etat et les entreprises nous protègent-ils vraiment ?. Alors que la France fait partie des pays les plus ciblés par le cybercrime, nos données personnelles son...
www.franceinfo.fr
September 11, 2026 at 12:13 PM
The national SSLR meeting is coming up on Oct. 5–6 in Toulouse!

We still need submissions: just a title + an abstract. Two excellent keynotes are already on the program.

Deadline: Sept. 11
gtsslr2026.sciencesconf.org/resource/pag...

@irisa-lab.bsky.social
@laascnrs.bsky.social
Journées 2026 du GT Sécurité des Systèmes, Logiciels et Réseaux (SSLR) du GDR Sécurité Informatique - Sciencesconf.org
Sciencesconf.org
gtsslr2026.sciencesconf.org
September 7, 2026 at 3:44 PM
⏰ Last call for #ISC2026!

The submission deadline is July 2, 11:59 pm AoE. If you have exciting new results in information security, we’d love to receive your paper. isc2026.github.io

One last coffee ☕, one final proofread 🔍, and hit Submit!

#Cybersecurity #CallForPapers
ISC 2026: Information Security Conference
isc2026.github.io
July 1, 2026 at 7:13 AM
Still working on your paper? There’s still time!

📣 The submission deadline for HS3 2026 (Workshop on Hardware-Supported Software Security, co-located with ESORICS) has been extended to June 29 (AoE).

Work-in-progress and early-stage results are welcome.

🔗 hs3-workshop.github.io/2026.html
HS3 2026: 2nd Workshop on Hardware-Supported Software Security
A workshop at ESORICS 2026, 17th of September 2026 in Rome, Italy.
hs3-workshop.github.io
June 23, 2026 at 10:24 AM
ISC 2026 submission deadline extended to July 2!

Keynotes by Shweta Shinde and Diego Aranha.

Submit your latest work in cybersecurity: isc2026.github.io

🇫🇷 Join us in Rennes this October — including a social event at Mont-Saint-Michel!
ISC 2026: Information Security Conference
isc2026.github.io
June 23, 2026 at 9:22 AM
As the General Chair of ISC 2026, I’m currently seeking sponsors to support students, invited speakers, awards, and community events.

If your organization is interested in cybersecurity research, I’d be happy to discuss opportunities.

isc2026.github.io

#cybersecurity #research #infosec #ISC2026
ISC 2026: Information Security Conference
isc2026.github.io
June 18, 2026 at 5:36 PM
Our #SUSHI team organizes #HS3Workshop 2026: the 2nd Workshop on Hardware-Supported Software Security, co-located with #ESORICS on 2025-09-14 in Roma, Italy.

Submission deadline: 2025-06-19 AoE.

More info: hs3-workshop.github.io/2026.html
@irisa-lab.bsky.social @centralesupelec.bsky.social
HS3 2026: 2nd Workshop on Hardware-Supported Software Security
A workshop at ESORICS 2026, 14th of September 2026 in Rome, Italy.
hs3-workshop.github.io
May 7, 2026 at 1:19 PM
Thrilled and honored that the SUSHI team at @irisa-lab.bsky.social will host ISC 2026 in Rennes, France!

Submission deadline: June 22, 2026

More info: isc2026.github.io

Please help us to circulate the CfP!

#ISC2026 #Cybersecurity #Cryptography @centralesupelec.bsky.social
ISC 2026: Information Security Conference
isc2026.github.io
May 7, 2026 at 7:06 AM
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!
ESORICS 2025 - 30th European Symposium on Research in Computer Security - Sciencesconf.org
esorics2025.sciencesconf.org
September 17, 2025 at 12:07 PM
Reposted by Guillaume Hiet
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]
September 12, 2025 at 9:17 AM
🔒 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
team.inria.fr
July 11, 2025 at 9:30 AM
Journées nationales of the GDR are starting today in Caen!
June 23, 2025 at 10:59 AM
🛠️🔐 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
HS3 2025: 1st Workshop on Hardware-Supported Software Security
A workshop at ESORICS 2025, 25th of September 2025 in Toulouse, FR.
hs3-workshop.github.io
June 20, 2025 at 5:16 PM
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
HS3 2025: 1st Workshop on Hardware-Supported Software Security
A workshop at ESORICS 2025, 25th of September 2025 in Toulouse, FR.
hs3-workshop.github.io
June 10, 2025 at 10:02 AM
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
HS3 2025: 1st Workshop on Hardware-Supported Software Security
A workshop at ESORICS 2025, 25th of September 2025 in Toulouse, FR.
hs3-workshop.github.io
April 26, 2025 at 7:44 AM
Reposted by Guillaume Hiet
🎂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-...
April 2, 2025 at 3:06 PM
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/...
team.inria.fr
April 2, 2025 at 12:15 PM
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/...
team.inria.fr
February 10, 2025 at 1:39 PM
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!
team.inria.fr
February 5, 2025 at 9:07 PM