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
@proceedings{ches-2018proofs,
title = {PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018},
year = {2018},
url = {http://www.easychair.org/publications/volume/PROOFS_2018},
researchr = {https://researchr.org/publication/ches-2018proofs},
cites = {0},
citedby = {0},
booktitle = {PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018},
conference = {ches},
editor = {Lejla Batina and Ulrich Kühne and Nele Mentens},
volume = {7},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}