PROOFS 2018: Volume Information

PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems

5 articles82 pagesPublished: September 10, 2018

Papers

Manaar 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

Keyphrases

attack 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.