PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018

Lejla Batina, Ulrich K├╝hne, Nele Mentens, editors, PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018. Volume 7 of Kalpa Publications in Computing, EasyChair, 2018. [doi]

Conference: ches2018

Bibliographies