1. Control-flow integrity principles, implementations, and applications
2. Tigist Abera 2016 . C-FLAT: control-flow attestation for embedded systems software . In Proceedings of the 2016 ACM SIGSAC Conference. 743–754 . Tigist Abera 2016. C-FLAT: control-flow attestation for embedded systems software. In Proceedings of the 2016 ACM SIGSAC Conference. 743–754.
3. Tigist Abera 2019. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. In NDSS. Tigist Abera 2019. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. In NDSS.
4. Alcardo Alex Barakabitze , Arslan Ahmad , Rashid Mijumbi , and Andrew Hines . 2020. 5G network slicing using SDN and NFV: A survey of taxonomy, architectures and future challenges. Computer Networks 167 ( 2020 ). Alcardo Alex Barakabitze, Arslan Ahmad, Rashid Mijumbi, and Andrew Hines. 2020. 5G network slicing using SDN and NFV: A survey of taxonomy, architectures and future challenges. Computer Networks 167 (2020).
5. Eli Ben-Sasson 2013. SNARKs for C: Verifying program executions succinctly and in zero knowledge . In Annual cryptology conference . Springer , 90–108. Eli Ben-Sasson 2013. SNARKs for C: Verifying program executions succinctly and in zero knowledge. In Annual cryptology conference. Springer, 90–108.