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