PROOFS 2025

13th International Workshop on Security Proofs for Embedded Systems Kuala Lumpur, Malaysia, September 18, 2025.
  • Homepage
  • CfP
  • Committees
  • Submission
  • Registration
  • Program
  • Venue

  • 26.05.2025

    The submission deadline is June 30 (abstract due on June 25)

  • 26.05.2025

    The new website for PROOFS 2025 is going online.

Venue

PROOFS will be collocated with CHES. The workshop will happen on September 18, 2025 in Kuala Lumpur, Malaysia.

Important Dates

  • Submission (abstract):
    25 June 2025
  • Submission (full paper):
    30 June 2025
  • Notification:
    30 July 2025
  • Final version due:
    15 Aug 2025
  • PROOFS workshop:
    Thursday, September 18, 2025

Contact

PROOFS 2025 is being organised by Télécom Paris. For any further information regarding the workshop, 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