Remote Attestation for Low-End Embedded Devices: the Prover's Perspective

被引:23
|
作者
Brasser, Ferdinand [1 ]
Rasmussen, Kasper B. [2 ]
Sadeghi, Ahmad-Reza [1 ]
Tsudik, Gene [3 ]
机构
[1] Tech Univ Darmstadt, Darmstadt, Germany
[2] Univ Oxford, Oxford OX1 2JD, England
[3] Univ Calif Irvine, Irvine, CA 92717 USA
关键词
D O I
10.1145/2897937.2898083
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Security of embedded devices is a timely and important issue, due to the proliferation of these devices into numerous and diverse settings, as well as their growing popularity as attack targets, especially, via remote malware infestations. One important defense mechanism is remote attestation, whereby a trusted, and possibly remote, party (verifier) checks the internal state of an untrusted, and potentially compromised, device (prover). Despite much prior work, remote attestation remains a vibrant research topic. However, most attestation schemes naturally focus on the scenario where the verifier is trusted and the prover is not. The opposite setting-where the prover is benign, and the verifier is malicious-has been side-stepped. To this end, this paper considers the issue of prover security, including: verifier impersonation, denial-of-service (DoS) and replay attacks, all of which result in unauthorized invocation of attestation functionality on the prover. We argue that protection of the prover from these attacks must be treated as an important component of any remote attestation method. We formulate a new roaming adversary model for this scenario and present the trade-offs involved in countering this threat. We also identify new features and methods needed to protect the prover with minimal additional requirements.
引用
收藏
页数:6
相关论文
共 50 条
  • [1] Remote Attestation for Low-End Prover Devices with Post-Quantum Capabilities
    Liu, Xiruo
    Misoczki, Rafael
    Sastry, Manoj R.
    [J]. PROCEEDINGS OF THE EIGHTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY (CODASPY'18), 2018, : 84 - 94
  • [2] HEALED: HEaling & Attestation for Low-End Embedded Devices
    Ibrahim, Ahmad
    Sadeghi, Ahmad-Reza
    Tsudik, Gene
    [J]. FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2019, 2019, 11598 : 627 - 645
  • [3] DIALED: Data Integrity Attestation for Low-end Embedded Devices
    Nunes, Ivan De Oliveira
    Jakkamsetti, Sashidhar
    Tsudik, Gene
    [J]. 2021 58TH ACM/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2021, : 313 - 318
  • [4] A lightweight remote attestation using PUFs and hash-based signatures for low-end IoT devices
    Roman, Roberto
    Arjona, Rosario
    Baturone, Iluminada
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2023, 148 : 425 - 435
  • [5] PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in Low-End Embedded Systems
    Nunes, Ivan De Oliveira
    Eldefrawy, Karim
    Rattanavipanon, Norrathep
    Tsudik, Gene
    [J]. 2019 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2019,
  • [6] Interruptible Remote Attestation of Low-end IoT Microcontrollers via Performance Counters
    Calsi, Davide Li
    Zaccaria, Vittorio
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (05)
  • [7] Continuous Speech Recognizer for Low-end Embedded Devices
    Milinkovic, Aleksandar
    Milinkovic, Stevan
    [J]. 2015 4TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2015, : 41 - 44
  • [8] Low-end embedded devices access Jini network design
    Jiang, Xiong
    [J]. 2008 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING, 2008, : 1057 - 1061
  • [9] Poster: Control-Flow Integrity in Low-end Embedded Devices
    Jakkamsetti, Sashidhar
    Kim, Youngil
    Searles, Andrew
    Tsudik, Gene
    [J]. PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 3618 - 3620
  • [10] PUF-Based Software Protection for Low-End Embedded Devices
    Kohnhaeuser, Florian
    Schaller, Andre
    Katzenbeisser, Stefan
    [J]. TRUST AND TRUSTWORTHY COMPUTING, TRUST 2015, 2015, 9229 : 3 - 21