PROOFS 2024

12th International Workshop on Security Proofs for Embedded Systems Halifax, September 4, 2024
  • Homepage
  • CfP
  • Committees
  • Submission
  • Registration
  • Program
  • Venue

  • 02.04.2024

    The submission deadline is May 14 (abstract due on May 11)

  • 02.04.2024

    The new website for PROOFS 2024 is going online.

Venue

PROOFS will be collocated with CHES. The workshop will happen on September 4, 2024 in Halifax, Canada.

Important Dates

  • Submission (abstract):
    11 May 2024
  • Submission (full paper):
    14 May 2024
  • Notification:
    17 June 2024
  • Final version due:
    1 July 2024
  • PROOFS workshop:
    Wednesday September 4

Contact

PROOFS 2024 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