1. Corteggiani , Nassim , Giovanni Camurati , and Aurélien Francillon . "Inception:{System-Wide} Security Testing of {Real-World} Embedded Systems Software ." 27th USENIX Security Symposium (USENIX Security 18) . 2018 . Corteggiani, Nassim, Giovanni Camurati, and Aurélien Francillon. "Inception:{System-Wide} Security Testing of {Real-World} Embedded Systems Software." 27th USENIX Security Symposium (USENIX Security 18). 2018.
2. Random sample consensus
3. An Overview of Hardware Security and Trust: Threats, Countermeasures, and Design Tools
4. Liu , Wei , "Research on technology of embedded system security protection component." 2020 IEEE International Conference on Advances in Electrical Engineering and Computer Applications (AEECA). IEEE, 2020. Matthew Van Gundy , Davide Balzarotti , and Giovanni Vigna . 2007. Catch me, if you can: Evading network signatures with web-based polymorphic worms . In Proceedings of the first USENIX workshop on Offensive Technologies (WOOT ’07) . USENIX Association , Berkley, CA , Article 7, 9 pages. Liu, Wei, "Research on technology of embedded system security protection component." 2020 IEEE International Conference on Advances in Electrical Engineering and Computer Applications (AEECA). IEEE, 2020.Matthew Van Gundy, Davide Balzarotti, and Giovanni Vigna. 2007. Catch me, if you can: Evading network signatures with web-based polymorphic worms. In Proceedings of the first USENIX workshop on Offensive Technologies (WOOT ’07) . USENIX Association, Berkley, CA, Article 7, 9 pages.
5. First-Order Dynamic Logic