PROOFS 2025

13th International Workshop on Security Proofs for Embedded Systems Kuala Lumpur, Malaysia, September 18, 2025.

Homepage
CfP
Committees
Submission
Registration
Program
Venue

30.06.2025
The submission deadline is July 10 (abstract due on July 8)
26.05.2025
The new website for PROOFS 2025 is going online.

Registration

Important Dates

Submission (Abstract):
08 July 2025
Submission (Full paper):
10 July 2025
Notification:
22 Aug 2025
Final version due:
30 Aug 2025
PROOFS workshop:
Thursday, September 18, 2025

Contact

PROOFS 2025 is being organised by Télécom Paris. For any further information, please contact the general chair:

Sponsors

Institut Mines-Telecom

Telecom Paris

Previous Events

PROOFS 2022 (Leuven)
PROOFS 2021 (www)
PROOFS 2020 (www)
PROOFS 2019 (Atlanta)
PROOFS 2018 (Amsterdam)
PROOFS 2017 (Taipei)
PROOFS 2016 (Santa Barbara)
PROOFS 2015 (Saint-Malo)
PROOFS 2014 (Busan)
PROOFS 2013 (Santa Barbara)
PROOFS 2012 (Leuven)

Design: TEMPLATED