HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ulrich Kühne

Publications
Proceedings of 10th International Workshop on Security Proofs for Embedded Systems
Ulrich Kühne and Fan Zhang (editors)
EPiC Series in Computing, volume 87
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-2025 easychair.org. All rights reserved.