CAREER: Towards a Secure and Reliable Internet of Things through Automated Model Extraction and Analysis Download pdf Tags: Posters Applied Software Systems Formal Methods and Language-based Security Privacy CNS-1942235 SaTC PI Meeting 2022 License: CC-2.5 Submitted by Jason Gigax on Mon, 06/20/2022 - 10:18