| Internet of Things: A survey on the security of IoT frameworks M Ammar, G Russello, B Crispo Journal of information security and Applications 38, 8-27, 2018 | 1111 | 2018 |
| SIMPLE: A remote attestation approach for resource-constrained IoT devices M Ammar, B Crispo, G Tsudik 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 78 | 2020 |
| PISTIS: Trusted Computing Architecture for Low-end Embedded Systems M Grisafi, M Ammar, M Roveri, B Crispo The 31st USENIX Security Symposium, 2022 | 43 | 2022 |
| SV—The Security MicroVisor: A Formally-Verified Software-based Security Architecture for the Internet of Things M Ammar, B Crispo, B Jacobs, D Hughes, W Daniels IEEE Transactions on Dependable and Secure Computing 16 (5), 885-901, 2019 | 42 | 2019 |
| SμV - the security microvisor: a virtualisation-based security middleware for the internet of things W Daniels, D Hughes, M Ammar, B Crispo, N Matthys, W Joosen Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference: Industrial …, 2017 | 37 | 2017 |
| slimIoT: Scalable Lightweight Attestation Protocol for the Internet of Things M Ammar, M Washha, GS Ramabhadran, B Crispo 2018 IEEE Conference on Dependable and Secure Computing (DSC), 1-8, 2018 | 33 | 2018 |
| WISE: Lightweight intelligent swarm attestation scheme for IoT (the verifier’s perspective) M Ammar, M Washha, B Crispo 2018 14th International Conference on Wireless and Mobile Computing …, 2018 | 28 | 2018 |
| SPEED: Secure Provable Erasure for Class-1 IoT Devices M Ammar, W Daniels, B Crispo, D Hughes Proceedings of the Eighth ACM Conference on Data and Application Security …, 2018 | 27 | 2018 |
| VERIFY&REVIVE: Secure Detection and Recovery of Compromised Low-end Embedded Devices M Ammar, B Crispo Annual Computer Security Applications Conference (ACSAC), 717-732, 2020 | 24 | 2020 |
| Securing the On-board Diagnostics Port (OBD-II) in Vehicles M Ammar, H Janjua, A Thangarajan, B Crispo, D Hughes 8th Embedded Security in Cars (ESCAR USA), 2020 | 20 | 2020 |
| Delegated Attestation: Scalable Remote Attestation of Commodity CPS by Blending Proofs of Execution with Software Attestation M Ammar, B Crispo, IDO Nunes, G Tsudik The 14th ACM Conference on Security and Privacy in Wireless and Mobile …, 2021 | 14 | 2021 |
| MicroVault: Reliable Storage Unit for IoT Devices E Aras, M Ammar, F Yang, W Joosen, D Hughes 16th IEEE International Conference on Distributed Computing in Sensor …, 2020 | 12 | 2020 |
| Towards bridging the gap between modern and legacy automotive ECUs: A software-based security framework for legacy ECUs AS Thangarajan, M Ammar, B Crispo, D Hughes 2019 IEEE 2nd Connected and Automated Vehicles Symposium (CAVS), 1-5, 2019 | 10 | 2019 |
| Towards a standards-compliant pure-software trusted execution environment for resource-constrained embedded devices H Janjua, M Ammar, B Crispo, D Hughes Proceedings of the 4th Workshop on System Software for Trusted Execution, 1-6, 2019 | 9 | 2019 |
| Sok: Runtime integrity M Ammar, A Caulfield, IDO Nunes arXiv preprint arXiv:2408.10200, 2024 | 6 | 2024 |
| Mpi: Memory protection for intermittent computing M Grisafi, M Ammar, KS Yildirim, B Crispo IEEE Transactions on Information Forensics and Security 17, 3597-3610, 2022 | 6 | 2022 |
| WISE: A Lightweight Intelligent Swarm Attestation Scheme for the Internet of Things M Ammar, B Crispo ACM Transactions on Internet of Things 1 (3), 1-30, 2020 | 6 | 2020 |
| On the (in) security of memory protection units: A cautionary note M Grisafi, M Ammar, B Crispo 2022 IEEE International Conference on Cyber Security and Resilience (CSR …, 2022 | 5 | 2022 |
| On Bridging the Gap between Control Flow Integrity and Attestation Schemes M Ammar, A Abdelraoof, S Vlasceanu The 33rd USENIX Security Symposium, 2024 | 4 | 2024 |
| Sok: Integrity, attestation, and auditing of program execution M Ammar, A Caulfield, IDO Nunes 2025 IEEE Symposium on Security and Privacy (SP), 77-77, 2024 | 2 | 2024 |
Danny HughesProfessor of Computer Science, KU Leuven在 cs.kuleuven.be 的电子邮件经过验证
