SECURITY PROOFS FOR EMBEDDED SYSTEMS
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
Location
OnlineDirections
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_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
Next 24 Hours
Powered by openweathermap.org