International Workshop on Security Proofs for Embedded Systems (PROOFS)

August 24th, 2019

 August 24th, 2019  

International Workshop on Security Proofs for Embedded Systems (PROOFS)

United States  »  South, USA  »  Georgia » 
August 24th, 2019

Event Website

InfoSec Conference Summary

The description was submitted by the Conference Organizer. We sometimes edit it to enhance the listing.

favouriteLoadingAdd this conference to your favourites

The goal of the PROOFS workshop is to promote methodologies that increase the confidence in the security of embedded systems, especially those which contain cryptographic algorithms. Concretely, the PROOFS workshop seeks contributions in both theory and practice of methods and tools applied to the security of embedded systems. Examples include (semi-)formal methods, simulation-based leakage evaluation and security checks, protocol verification techniques, test and verification of secure embedded systems (software and hardware), provable security for physical attacks.

Topics of interest include, but are not limited to, the following:

  • (Automated) security proofs
  • Applications of formal methods in security
  • Protocol verification
  • Security evaluation of real-world systems
  • Leakage-resilient cryptography
  • Side-channel analysis and countermeasures
  • Fault attacks and defenses
  • Information leakage models
  • Tamper-resistant hardware
  • Early leakage detection, e.g. based on simulators
  • Synergies between security and reliability
  • On-chip monitoring of physical attacks

We're proudly sponsored by Kuppering Cole. They've geneoursouly given our community a 15% discount on all ticket sales. Use code "infosecspecial15" to apply the promo. Their next event will be "Digital Finance World 2019"

Digital Finance World 2019

Submit a review for this event.

Did you attend International Workshop on Security Proofs for Embedded Systems (PROOFS)? Let us know how it was and share your experience with the greater community.

Leave a Comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.