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]
@inproceedings{Gamboni-DiehlWK22,
title = {Lightweight Code Assurance Proof for Wireless Software},
author = {Theo Gamboni-Diehl and Simeon Wuthier and Jinoh Kim and Jonghyun Kim and Sang-Yoon Chang},
year = {2022},
doi = {10.1145/3507657.3529653},
url = {https://doi.org/10.1145/3507657.3529653},
researchr = {https://researchr.org/publication/Gamboni-DiehlWK22},
cites = {0},
citedby = {0},
pages = {285-287},
booktitle = {WiSec '22: 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks, San Antonio, TX, USA, May 16 - 19, 2022},
editor = {Murtuza Jadliwala and Yongdae Kim and Alexandra Dmitrienko},
publisher = {ACM},
isbn = {978-1-4503-9216-7},
}