Author of the publication

Towards Formal Verification of Contiki: Analysis of the AES-CCM* Modules with Frama-C.

, , , , and . EWSN, page 264-269. Junction Publishing, Canada/ ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

POSTER: On Compressing PKI Certificates for Resource Limited Internet of Things Devices., , and . AsiaCCS, page 837-839. ACM, (2018)Group-IKEv2 for multicast IPsec in the internet of things., , , and . Int. J. Secur. Networks, 14 (1): 10-22 (2019)FDTLS: Supporting DTLS-Based Combined Storage and Communication Security for IoT Devices., , , and . MASS, page 127-135. IEEE, (2019)Security Considerations for the WirelessHART Protocol., , , and . ETFA, page 1-8. IEEE, (2009)Blockchain and IoT: Mind the Gap., , and . InterIoT/SaSeIoT, volume 242 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 113-122. Springer, (2017)Axiom: DTLS-Based Secure IoT Group Communication., , and . ACM Trans. Embed. Comput. Syst., 16 (3): 66:1-66:29 (2017)Towards Cyber Threat Intelligence for the IoT., , , and . DCOSS-IoT, page 483-490. IEEE, (2023)6LoWPAN Compressed DTLS for CoAP., , and . DCOSS, page 287-289. IEEE Computer Society, (2012)Establishing End-to-End Secure Channel for IoT Devices through an Untrusted C-ITS Network., , and . VEHITS, page 562-570. SCITEPRESS, (2021)Lightweight X.509 Digital Certificates for the Internet of Things., , , and . InterIoT/SaSeIoT, volume 242 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 123-133. Springer, (2017)