EVENT IS IN PROGRESS
EVENT EXPIRED
17Sep
10TH INTERNATIONAL WORKSHOP ON SECURITY PROOFS FOR EMBEDDED SYSTEMS SeptemberSep 17 2021 Europe/MadridOnline

AsiaBlockchainCryptocurrenciesNetworkingOnlineWorkshop

SECURITY PROOFS FOR EMBEDDED SYSTEMS

The 10th International Workshop on Security Proofs for Embedded Systems (PROOFS) will be heldĀ as an online workshop.

PROOFS will be a virtual workshop this year.

GOALS OF THE WORKSHOP

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 formal and semi-formal methods, novel side-channel or fault attacks, 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, and design tools for early security assessment.

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
  • Countermeasure against hardware Trojan horses
  • Early leakage detection, e.g. based on simulators
  • Synergies between security and reliability
  • On-chip monitoring of physical attacks
  • Case studies and industrial practice for secure design
Import to Google Calendar

Location

Online

Directions

Could not find route!

  • Schedule
  • Guests
  • Attendance
  • Forecast
  • Comments

Weather data is currently not available for this location

Weather Report

Today stec_replace_today_date

stec_replace_today_icon_div

stec_replace_current_summary_text

stec_replace_current_temp °stec_replace_current_temp_units

Wind stec_replace_current_wind stec_replace_current_wind_units stec_replace_current_wind_direction

Humidity stec_replace_current_humidity %

Feels like stec_replace_current_feels_like °stec_replace_current_temp_units

Forecast

Date

Weather

Temp

stec_replace_5days

Next 24 Hours

Powered by openweathermap.org