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