Advancing IoT Security Through Run-time Monitoring & Post-Execution Verification. - Mahsa Dehghani; Mehdi Elahi; Mahdi Fazeli; Ahmad Patooghy (ISVLSI, 2024)