PROOFS 2021

10th International Workshop on Security Proofs for Embedded Systems Beijing, September 17, 2021
  • Homepage
  • CfP
  • Committees
  • Submission
  • Registration
  • Program
  • Venue

  • 03.09.2021

    The final program is available.

  • 31.08.2021

    The registration is open.

  • 19.07.2021

    Deadline extension until August 9

  • 17.05.2021

    Paper submission is open.

  • 18.04.2021

    The call for papers has been published.

  • 08.02.2021

    The new website for PROOFS 2021 is going online.

Registration

The registration is closed.

Important Dates

  • Submission (abstract):
    Monday, August 2
  • Submission (full paper):
    Monday,August 9
  • Notification:
    Thursday, August 26
  • Final version due:
    Tuesday, September 14, 2021
  • PROOFS workshop:
    Friday September 17, 2021

Contact

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

  • Ulrich Kühne (general chair)

Sponsors

Institut Mines-Telecom
Telecom Paris
        

Previous Events

  • 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