Theo Gamboni-Diehl, Simeon Wuthier, Jinoh Kim, Jonghyun Kim, Sang-Yoon Chang. Lightweight Code Assurance Proof for Wireless Software. In Murtuza Jadliwala, Yongdae Kim, Alexandra Dmitrienko, editors, WiSec '22: 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks, San Antonio, TX, USA, May 16 - 19, 2022. pages 285-287, ACM, 2022. [doi]
Abstract is missing.