Internet-Draft RATS Security Considerations September 2026
Sardar, et al. Expires 2 April 2027 [Page]
Workgroup:
RATS Working Group
Internet-Draft:
draft-sardar-rats-sec-cons-06
Updates:
9334 (if approved)
Published:
Intended Status:
Informational
Expires:
Authors:
M. U. Sardar
TU Dresden
S. Bu
Stevens Institute of Technology
C. Huang
Independent
H. Song
Shanghai Guan An Information Technology Co., Ltd.

Guidelines for Security Considerations of RATS

Abstract

This document aims to provide guidelines and best practices for writing security considerations for technical specifications for RATS targeting the needs of implementers, researchers, and protocol designers. In particular, it discusses some of the 'bottom turtle' issues. This is a work-in-progress, and the current version mainly presents an outline of the general security guidelines, baseline, or template for RATS that future versions will cover in more detail.

About This Document

This note is to be removed before publishing as an RFC.

The latest revision of this draft can be found at https://muhammad-usama-sardar.github.io/rats-sec-cons/draft-sardar-rats-sec-cons.html. Status information for this document may be found at https://datatracker.ietf.org/doc/draft-sardar-rats-sec-cons/.

Source for this draft and an issue tracker can be found at https://github.com/muhammad-usama-sardar/rats-sec-cons.

Status of This Memo

This Internet-Draft is submitted in full conformance with the provisions of BCP 78 and BCP 79.

Internet-Drafts are working documents of the Internet Engineering Task Force (IETF). Note that other groups may also distribute working documents as Internet-Drafts. The list of current Internet-Drafts is at https://datatracker.ietf.org/drafts/current/.

Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as "work in progress."

This Internet-Draft will expire on 2 April 2027.

▲

Table of Contents

1. Introduction

1.1. Need for Specialized Guidance in RATS

Every Internet Draft needs to have a "Security Considerations" section. While general guidelines such as [RFC3552] exist, the underlying threat model is that the endpoint is fully trusted (i.e., all software and hardware components in the device may access the keys). RATS [RFC9334] has a primarily different threat model in the sense that only parts of the endpoint (called Attester) are trusted (i.e., only specific software and hardware components in the device may access the keys), and the goal is to establish the trustworthiness of the endpoint. In other words, [RFC3552] deals with a network adversary, whereas RATS deals with an endpoint adversary, which may have root access or physical control over the device with which it can extract keys from software or hardware.

Moreover, remote attestation has several distinguishing features that necessitate a separate document. One specific example of such a feature is the architectural complexity of the endpoint. While network protocols typically have 2 roles, RATS has additional roles, which complicates the picture. Unfortunately, no guidelines currently exist for remote attestation [RFC9334] in RATS. This document aims to fill this gap.

1.2. Needs of the Target Audience of RATS

Moreover, while the target audience of Internet Drafts is implementers, researchers, and protocol designers [I-D.irtf-cfrg-cryptography-specification], RATS drafts generally do not fulfill these needs, in particular the needs of researchers and protocol designers. On the other hand, in our observation, implementers generally find it hard to relate the abstract concepts of RATS to the real-world systems. In general, implementers and protocol designers of RATS are thus left with little or no guidance.

1.3. Motivation

Unverified protocol designs, imprecisely stated threat model and security goals have led to high and critical severity vulnerabilities related to remote attestation.

1.3.1. Concrete Motivational Example: Practical Exploits in Production Systems

The formal analysis led to three orthogonal issues:

  • Formal analysis [ID-Crisis-repo] found diversion attacks when unique hardware identifier is not included in Evidence. For technical details, please see the corresponding paper [ID-Crisis].

  • Formal analysis [Intra-handshake.fail-repo] of several production implementations of remote attestation led to the discovery of [CVE-2026-33697] of CVSS 7.5 for relay attacks. For technical details, please see the corresponding paper [Intra-handshake.fail].

  • Further formal analysis of production implementation of remote attestation has led to discovery of another class of attacks and will potentially lead to three CVEs (currently under responsible disclosure) each with an expected CVSS 9.1.

This shows the value of precise threat model and formal analysis in the design of secure protocols to find subtle vulnerabilities, which could otherwise be missed. This draft aims to provide the baseline security considerations that other drafts can simply refer to.

1.4. Scope

To improve the situation, this draft presents general security baseline that other drafts can simply point to, or guidelines or template that other drafts can use.

2. Conventions and Definitions

The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP 14 [RFC2119] [RFC8174] when, and only when, they appear in all capitals, as shown here.

3. General Hierarchy of Authentication

Authentication is a term which is often ambiguous in RATS specifications. We propose general hierarchy of one-way authentication, which can help precisely state the intended level of authentication (in decreasing order):

Recentness can be added to each of these levels of authentication. Details will be added in future versions.

4. Threat Modeling

This section describes "What can go wrong?"

4.1. System Model

See Section 4 of [Intra-handshake.fail] as an example.

4.2. Actors

It has both legal and technical perspective.

4.2.2. Technical perspective

  • Infrastucture Provider is a role which refers to the Processor in GDPR. An example of this role is a cloud service provider (CSP).

4.3. Threat Model

See Section 6.1 of [Intra-handshake.fail] as an example.

5. Attacks

Security considerations in RATS specifications need to clarify how the following attacks are avoided or mitigated:

5.1. (Evidence) Replay Attacks

In this attack, a network or endpoint adversary -- with access to older Evidence -- can replay Evidence with stale Claims which no longer represent the actual state of the Attester, potentially resulting in exposure of confidential data [RA-TLS].

Replay of stale Evidence may be within the same connection or across multiple connections.

5.2. Diversion Attacks

In this attack, a network adversary -- with Dolev-Yao capabilities [Dolev-Yao] and access (e.g., via Foreshadow [Foreshadow]) to the attestation key of any machine in the world -- can redirect a connection intended for a specific Infrastructure Provider to the compromised machine, potentially resulting in exposure of confidential data [ID-Crisis].

In the context of confidential computing and TLS as a transport protocol, we reported these attacks to the TLS WG in February 2025 [Usama-TLS-26Feb25]. A formal proof is available [ID-Crisis-repo] for further research and development. Since reporting to TLS WG, these attacks have been practically exploited in TEE.fail, Wiretap.fail, and BadRAM.

5.3. Relay Attacks

In this attack, a network or endpoint adversary -- with access to suitable binding material -- can relay an attestation request to a genuine Attester and present the genuine Evidence as its own, potentially resulting in impersonation of genuine Attester [Intra-handshake.fail].

Note that replay is about same Attester while relay attack is about different Attesters.

6. Potential Mitigations

This section describes the countermeasures and their evaluation.

To mitigate the above attacks, we propose post-handshake attestation. We are not aware of any attacks on post-handshake attestation. Post-handshake attestation avoids replay attacks by using a fresh attestation nonce. Moreover, considering TLS as the transport protocol, it avoids diversion and relay attacks by binding the Evidence to the underlying TLS connection, such as using Exported Keying Material (EKM) [I-D.ietf-tls-rfc8446bis], as proposed in Section 9.2 of [ID-Crisis]. [RFC9261] and [RFC9266] provide mechanisms for such bindings. Efforts for a formal proof of security of post-handshake attestation are ongoing.

7. Security Considerations

All of this document is about security considerations.

8. IANA Considerations

This document has no IANA actions.

9. References

9.1. Normative References

[RFC2119]
Bradner, S., "Key words for use in RFCs to Indicate Requirement Levels", BCP 14, RFC 2119, DOI 10.17487/RFC2119, , <https://www.rfc-editor.org/rfc/rfc2119>.
[RFC8174]
Leiba, B., "Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words", BCP 14, RFC 8174, DOI 10.17487/RFC8174, , <https://www.rfc-editor.org/rfc/rfc8174>.
[RFC9334]
Birkholz, H., Thaler, D., Richardson, M., Smith, N., and W. Pan, "Remote ATtestation procedureS (RATS) Architecture", RFC 9334, DOI 10.17487/RFC9334, , <https://www.rfc-editor.org/rfc/rfc9334>.

9.2. Informative References

[CVE-2026-33697]
CVE, "CoCoS attested TLS is vulnerable to relay attacks via extracted ephemeral TLS keys", , <https://www.cve.org/CVERecord?id=CVE-2026-33697>.
[Dolev-Yao]
Dolev, D. and A. Yao, "On the security of public key protocols", .
[Foreshadow]
Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F Wenisch, Yuval Yarom, and Raoul Strackx, "Foreshadow", , <https://foreshadowattack.eu/>.
[GDPR]
European Commission, "Regulation (EU) 2016/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95/46/EC (General Data Protection Regulation) (Text with EEA relevance)", , <https://eur-lex.europa.eu/eli/reg/2016/679/oj>.
[I-D.deshpande-rats-multi-verifier]
Deshpande, Y., jun, Z., Labiod, H., and H. Birkholz, "Remote Attestation with Multiple Verifiers", Work in Progress, Internet-Draft, draft-deshpande-rats-multi-verifier-04, , <https://datatracker.ietf.org/doc/html/draft-deshpande-rats-multi-verifier-04>.
[I-D.ietf-tls-rfc8446bis]
Rescorla, E., "The Transport Layer Security (TLS) Protocol Version 1.3", Work in Progress, Internet-Draft, draft-ietf-tls-rfc8446bis-14, , <https://datatracker.ietf.org/doc/html/draft-ietf-tls-rfc8446bis-14>.
[I-D.irtf-cfrg-cryptography-specification]
Sullivan, N. and C. A. Wood, "Guidelines for Writing Cryptography Specifications", Work in Progress, Internet-Draft, draft-irtf-cfrg-cryptography-specification-03, , <https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-cryptography-specification-03>.
[ID-Crisis]
Sardar, M., Moustafa, M., and T. Aura, "Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS", ACM, Proceedings of the ACM Asia Conference on Computer and Communications Security pp. 547-560, DOI 10.1145/3779208.3785387, , <https://doi.org/10.1145/3779208.3785387>.
[ID-Crisis-repo]
Sardar, M. U., Moustafa, M., and T. Aura, "Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS", , <https://github.com/CCC-Attestation/formal-spec-id-crisis>.
[Intra-handshake.fail]
Sardar, M. U., Dubeyko, V., and J.-M. Jacquet, "Intra-handshake.fail (CVE-2026-33697): High-severity CVE in Attested TLS", , <https://www.researchgate.net/publication/408219182_Intra-handshakefail_CVE-2026-33697_High-severity_CVE_in_Attested_TLS>.
[Intra-handshake.fail-repo]
Sardar, M. U., Dubeyko, V., and J.-M. Jacquet, "Intra-handshake.fail (CVE-2026-33697): High-severity CVE in Attested TLS", , <https://github.com/CCC-Attestation/formal-spec-KBS>.
[RA-TLS]
Sardar, M., Niemi, A., Tschofenig, H., and T. Fossati, "Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel’s RA-TLS Protocol", Institute of Electrical and Electronics Engineers (IEEE), IEEE Access vol. 12, pp. 173670-173685, DOI 10.1109/access.2024.3497184, , <https://doi.org/10.1109/access.2024.3497184>.
[RFC3552]
Rescorla, E. and B. Korver, "Guidelines for Writing RFC Text on Security Considerations", BCP 72, RFC 3552, DOI 10.17487/RFC3552, , <https://www.rfc-editor.org/rfc/rfc3552>.
[RFC9261]
Sullivan, N., "Exported Authenticators in TLS", RFC 9261, DOI 10.17487/RFC9261, , <https://www.rfc-editor.org/rfc/rfc9261>.
[RFC9266]
Whited, S., "Channel Bindings for TLS 1.3", RFC 9266, DOI 10.17487/RFC9266, , <https://www.rfc-editor.org/rfc/rfc9266>.
[Usama-TLS-26Feb25]
Muhammad Usama Sardar, "Impersonation attacks on protocol in draft-fossati-tls-attestation (Identity crisis in Attested TLS) for Confidential Computing", , <https://mailarchive.ietf.org/arch/msg/tls/Jx_yPoYWMIKaqXmPsytKZBDq23o/>.

Acknowledgments

The author wishes to thank Ira McDonald and Ivan Gudymenko for insightful discussions.

History

-01

-02

Authors' Addresses

Muhammad Usama Sardar
TU Dresden
Songbo Bu
Stevens Institute of Technology
New York,
United States of America
Chengxin Huang
Independent
Haowen Song
Shanghai Guan An Information Technology Co., Ltd.
China