10times
Conference

International Conference on Security Proofs for Embedded Systems

13 Sep 2020

About Followers Reviews Exhibitors Photos Speakers Travel Deals

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.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

upto 100
Delegates
Estimated Count

Category & Type

Conference
Security & Defense

Editions

13 Sep 2020 Interested


Frequency Newly Listed

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo Send Stall Book Request

Telecom ParisTech

France 12 Total Events / 1 Upcoming Event

Write a Review

Add Your Review
39.904000 116.407000

Venue Map & Directions

google-map

Venue to be announced

Beijing, China

Add Venue

Featured Hotels in Beijing

More Hotels