Conference series Beta
International Workshop on Security Proofs for Embedded Systems (PROOFS)
PROOFS
- Events
- 3 (2017 to 2019)
- Website
- http://www.proofs-workshop.org
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10bnds
Events (3)
20172019
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2019 | 8 | Proceedings of 8th International Workshop on Security Proofs for Embedded Systems, PROOFS 2019, colocated with CHES 2018, Atlanta, GA, USA, August 24, 2019 | Atlanta | |
| 2018 | 7 | PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018 PROOFS | Kingdom of the Netherlands | 2018-09-13 |
| 2017 | 6 | PROOFS 2017, 6th International Workshop on Security Proofs for Embedded Systems, Taipei, Taiwan, September 29th, 2017 PROOFS | Taipei | 2017-09-29 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| Wikidata | |
| dblp |
Cite
International Workshop on Security Proofs for Embedded Systems (PROOFS). confref identifier s10bnds. https://id.confref.org/series/s10bnds
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.