HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ulrich Kühne

Publications
Proceedings of 8th International Workshop on Security Proofs for Embedded Systems
Karine Heydemann, Ulrich Kühne and Letitia Li (editors)
Kalpa Publications in Computing, volume 11
PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems
Lejla Batina, Ulrich Kühne and Nele Mentens (editors)
Kalpa Publications in Computing, volume 7
PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
Ulrich Kühne, Jean-Luc Danger and Sylvain Guilley (editors)
EPiC Series in Computing, volume 49
Copyright © 2012-2022 easychair.org. All rights reserved.