Lightweight Code Assurance Proof for Wireless Software. - Theo Gamboni-Diehl; Simeon Wuthier; Jinoh Kim; Jonghyun Kim; Sang-Yoon Chang (WISEC, 2022)