PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems5 articles•82 pages•Published: September 10, 2018 Papers
Keyphrasesattack tree, bug attacks, design-time analysis, emergency access, Fault attacks and defenses, gradient descent algorithm, hardware performance counters, hardware simulation, Hardware Trojans, IMD, Implantable medical device, malware analysis, On-chip monitoring of physical attacks, path delay faults, public key cryptographic hardware, security protocol, side channels, side-channel analysis, Standard Cell Design, Synergies between security and reliability, threat model |