|
|
PROOFS 2018: Volume InformationPROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems5 articles•82 pages•Published: September 10, 2018 PapersManaar Alam, Debdeep Mukhopadhyay, Sai Praveen Kadiyala, Siew Kei Lam and Thambipillai Srikanthan 1-15 | Danilo Šijačić, Josep Balasch, Bohan Yang, Santosh Ghosh and Ingrid Verbauwhede 16-31 | Muhammad Ali Siddiqi, Robert M. Seepers, Mohammad Hamad, Vassilis Prevelakis and Christos Strydis 32-49 | Akira Ito, Rei Ueno, Naofumi Homma and Takafumi Aoki 50-67 | Batya Karp, Maël Gay, Osnat Keren and Ilia Polian 68-82 |
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-channel analysis, side channels, Standard Cell Design, Synergies between security and reliability, threat model. |
|
|