ZEKRA: Zero-Knowledge Control-Flow Attestation-Reference-Cited by-同舟云学术

ZEKRA: Zero-Knowledge Control-Flow Attestation

Published:2023-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM Asia Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Debes Heini Bergsson¹^ORCID,Dushku Edlira²^ORCID,Giannetsos Thanassis³^ORCID,Marandi Ali¹^ORCID

Affiliation:

1. DTU Compute, Technical University of Denmark, Denmark

2. Department of Electronic Systems, Aalborg University, Denmark

3. Digital Security & Trusted Computing Group, Ubiquitous Technologies Limited, Greece

Publisher

ACM

Reference53 articles.

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.