]> PQShield

The Netherlands thom@thomwiggers.nl

BSI

Germany kaveh.bashiri.ietf@gmail.com

Google

Switzerland kste@google.com

Crypto4A Technologies

Canada jimg@crypto4a.com

BSI

Germany kousidis.ietf@gmail.com

Security Post-Quantum Use In Protocols stateful hash-based signatures XMSS LMS state management Stateful Hash-Based Signature Schemes (Stateful HBS) such as LMS, HSS, XMSS and XMSS^MT combine Merkle trees with One-Time Signatures (OTS) to provide signatures that are resistant against attacks using large-scale quantum computers. Unlike conventional stateless digital signature schemes, Stateful HBS have a state to keep track of which OTS keys have been used, as double-signing with the same OTS key allows forgeries. This document provides guidance and catalogs security considerations for the operational and technical aspects of deploying systems that rely on Stateful HBS. Management of the state of the Stateful HBS, including any handling of redundant key material, is a sensitive topic. This document describes some approaches to handle the associated challenges. It also describes the challenges that need to be resolved before certain approaches should be considered. About This Document The latest revision of this draft can be found at . Status information for this document may be found at . Discussion of this document takes place on the Post-Quantum Use In Protocols Working Group mailing list (), which is archived at . Subscribe at . Source for this draft and an issue tracker can be found at .

Introduction Stateful Hash-Based Signature Schemes (Stateful HBS) such as LMS, HSS, XMSS and XMSS^MT combine Merkle trees with One-Time Signatures (OTS) in order to provide digital signature schemes that remain secure even when large-scale quantum computers become available. The theoretic security of Stateful HBS is well understood and depends only on the security of the underlying hash function. As such, Stateful HBS can serve as an important building block for quantum-resistant information and communication technology. Stateful HBS are specified in , , and NIST . The private key of a Stateful HBS is a finite collection of OTS keys (typically generated on-demand from a seed) and an associated data structure which keeps track of which OTS keys have been used. This data structure is typically a simple counter and often called an index; we refer to it as the state of the private key. Each Stateful HBS private key can be used to sign a finite number of messages, and the state must be updated with each generated signature. One must not reuse any OTS key that is part of a Stateful HBS private key. If an attacker is able to obtain signatures for two different messages created using the same OTS key, it is computationally feasible for that attacker to create forgeries . As noted in and , extreme care should be taken in order to avoid the risk that an OTS key will be reused accidentally. Whereas identifies the fundamental failure modes of Stateful HBS and proposes architectural strategies such as a reservation approach, and provides a broad analysis of state management challenges and risks, this document complements both by cataloging concrete operational patterns in and by addressing backup and recovery considerations not covered in prior work. In particular, the challenges below highlight why careful state and backup management are essential in Stateful HBS:

• Implementers must ensure that each creation of a signature updates the state correctly.
• If the Stateful HBS private key is distributed to multiple signers at the same time, implementers must ensure that they never use the same OTS key. This may require synchronization between all signers.
• Additional operational complexity arises when part of the available OTS signatures are allocated to different devices (partial state transfer), or when state from different devices needs merging; these introduce risks of overlap, failure, and require careful coordination.
• If key backups are required, implementers must ensure that any backup mechanism can not lead to re-using a previously used OTS key.

The following sections present, recall, and discuss various strategies for a correct state and backup management for Stateful HBS.

When are Stateful HBS Appropriate? The issues with state management described above, as well as (for most parameter sets) the limited number of signatures, lead to new requirements that most developers will not be familiar with and that require careful handling in practice: Stateful HBS are not general-purpose signature schemes. Most applications, especially those that may produce unrestricted numbers of signatures, should use stateless hash-based signature schemes like SLH-DSA , which use the same security assumptions, or schemes based on other assumptions, such as ML-DSA , instead. However, if run time, implementation size, or signature or key sizes of stateless alternatives are prohibitive, and the specific use case allows a very tight control of the signing environment, using Stateful HBS may be an appropriate solution. It seems likely that in many scenarios, it is only possible to meet the requirements set out in when using purpose-designed hardware, such as hardware-security modules. Stateful HBS are already profiled or discussed in several deployment-focused specifications and guidance documents. For example, discusses suitable use cases for stateful HBS in X.509 (including firmware/software signing and CA certificates). The SUIT Mandatory-to-Implement algorithms specification defines an asymmetric profile that uses HSS-LMS, providing an interoperability target for software/firmware update IoT ecosystems. Additionally, the NSA allows LMS (and XMSS) in specific application scenarios such as firmware/software signing.

Specific Terminology in the Context of Stateful HBS In this section we specify certain notions which are important in the context of Stateful HBS.

Private Key Components This section describes the two conceptual components that make up the private key material used in Stateful HBS.

private key

the static, long-lived secret(s) from which OTS private keys are derived. This material is stateless: given the scheme parameters, it deterministically defines the set of OTS private keys but does not change over time.

state

the dynamically updated data structure that records which OTS key indices have been consumed (often a monotone counter). This material is mutable and must change on every successful signature.

Conceptually, the private key and the state are distinct and should be handled accordingly: the private key is a static secret, while the state is mutable, evolves with each signature, and must be maintained with integrity and correctness. In some implementations, these two components may be packaged together and not directly separable; in such cases, this document’s guidance applies to the combined artifact.

State Management In this document, state management refers to the handling and implementation of the state of the private key. This includes mechanisms, which aim:

• to securely update the state before the signature is released,
• to set up Stateful HBS where the state is separated in distinct, non-overlapping parts, so that signatures can be generated from either part without risk of state reuse,
• to enable partial transfer of unused signature capacity between devices, and optionally merging state fragments without overlap,
• to enable effective but secure handling of private key and state backup material,
• to guarantee the availability of both the private key and its state across the lifetime of the key.

Note that in particular implementations of Stateful HBS, or in alternative signature mechanisms, the state and private key might be inseparable. For example, puncturable schemes represent such an alternative; they are research-level constructions and are not currently standardized or deployed in practice. However, even in these scenarios, this document's guidance should still apply.

Backup Management In order to mitigate failure of, e.g., devices storing key material and to facilitate other types of disaster recovery, backups of private keys and their associated states should be considered as part of a security architecture. In this document, backup management refers to all mechanisms surrounding the goal to guarantee the availability of the private key and state, but with special care to avoid state reuse by rolling back to a state in which already-used OTS keys are still available. These mechanisms include procedures and protocols, which aim:

• to securely store this private key and state material outside the in-use signing device,
• to import an externally stored private key and state to a newly initiated signing device,
• allow practicing with backup recovery and to ensure backups are valid.

Backup management can be viewed as a more specific type of state management; we make this distinction to clarify the aims of our recommendations.

Key Export, Key Import and Key Transfer As part of state and backup management, we will discuss mechanisms to export, import or transfer private key and state material. In order to avoid misunderstandings we now specify these notions more precisely.

key export

mechanism of exporting secret data, which yields (partial) private key and state material, from the signing device to external storage. This external storage may be given in digital or non-digital form.

key import

mechanism of importing secret data, which loads (partial) private key and state material, from external storage to the signing device.

key transfer

a cryptographically protected transfer of ownership of private key and state material from one signing device to another.

Systems and architectures relying on key transfer are generally expected to require fewer operational and manually-executed steps and checks to avoid state reuse. Note that, at times, secure variants of the aforementioned primitives may be required (e.g., securely importing/exporting the key). In these situations cryptographic mechanisms should be utilized to provide assurances related to the confidentiality (e.g., utilizing symmetric/asymmetric encryption mechanisms) and/or integrity/authenticity (e.g., utilizing digital signatures, hash functions, and keyed message authentication codes) of the associated operations.

Operational Considerations An important aspect of the evaluation of various HBS state and backup management options is to consider the operational costs associated with the option(s) being evaluated. In the past, a traditional trust infrastructure solution could utilize straightforward archival procedures to make copies of the keys, which could then be distributed geographically to ensure their availability and deliver a sufficiently resilient solution, all the while enforcing whatever security protocols and procedures were required. Unfortunately, Stateful HBS introduce an additional constraint in that they need to ensure the state is never re-used. Hence, archival procedures used for traditional trust infrastructures have to be amended/redesigned to be used as viable options. One of the most problematic aspects of providing a long-lived resilient solution is simply managing the physical media on which the keys/state are stored externally (i.e., outside of the signing device) throughout the course of their lifetime. Physical media/devices degrade over time, and the more complex the media/device, the more likely it is to fail at some point in time (e.g., data stored on a CD vs. data stored on a USB drive vs. data stored in a Hardware Security Module). Combine that fact with the long lifetimes associated with Stateful HBS keys (e.g., 10-20+ years) and the difficulties associated with transferring keys between devices, and one finds them self with a perplexing set of challenges that needs to be accounted for in any state selection process of a proper state and backup management solution. Compounding these complexities is the fact any resilient state management system should also provide some means to verify the integrity of these long-lived backups to ensure they will be valid when they are required, and to ensure the operators know how to execute the necessary recovery procedure(s). Similarly, many of the prescribed state management options require a high degree of operator involvement which means one should consider the costs associated with training the operator element to ensure processes and procedures are adhered to and failures caught early and corrected before a catastrophic loss of security can occur (e.g., accidentally instantiating multiple instances of a Stateful HBS key/state). Note that training is not a fixed one-time cost either as long lifetimes will necessitate succession planning amongst the operator element, and training of each successive generation of participants. Mechanisms also should be put in place to mitigate the ever-present insider threat via mechanisms such as M-of-N controls, ensuring least-privileges amongst participants, and enforcing a segregation of duties to ensure multiple parties are required to collude to undermine a solution's security. Note that the segregation of duties must persist across successive generations to ensure participants do not acquire multiple roles over time, thereby undermining the intended segregation. In addition to the state management, implementers may consider implementing mechanisms to prevent abrupt signature exhaustion. Implementations may consider providing a configurable warning threshold, M, which is triggered when M signatures remain. When the number of available signatures reaches this threshold, the system should return a 'signatures nearing exhaustion' warning. This warning condition should require explicit acknowledgment from the user through a mechanism that cannot be trivially skipped. Another important consideration in deploying Stateful HBS is the selection of an appropriate parameter set. Given the flexibility of these schemes — such as adjustable tree heights or Winternitz parameters — there exists a large variety of possible configurations. The availability of these different configurations offers many trade-offs between signature generation/verification time, signature size, and key generation time. Hence, careful attention during the design phase is essential to ensure that the chosen parameter set aligns optimally with the specific requirements of the intended use case. Lastly, costs associated with any external dependencies required by a particular solution (e.g., access to a public ledger or transparency log, providing accurate time references and synchronization mechanisms, access to attestation facilities, etc.) must be accounted for as well, particularly if a system is operating in an offline mode that makes delivering these additional capabilities all the more complicated and expensive.

Requirements for Secure State Management A system deploying Stateful HBS should fulfill certain requirements to allow securely handling the state. The system must ensure that no two signing operations can ever be issued from the same state. In addition, the generation of a signature and update of the state should appear to be an atomic transaction. This means that the system must not release a signature without irrevocably and correctly updating the state. State management systems should satisfy all ACID properties:

• Atomicity: each operation on the state must be indivisible — such that it either commits completely or leaves the state unchanged.
• Consistency: the state before and after each update must reflect a valid progression of available OTS indices, and no invalid or conflicting state is ever observable.
• Isolation: concurrent or overlapping operations (e.g., from separate processes or devices) must not interfere in ways that could lead to state reuse.
• Durability: once a state transition (e.g., before issuing a signature) is committed, that transition must survive crashes, power loss, or device failure.

These requirements impose significant restrictions on the underlying technical approach and a careful implementation of how the state will be updated or synchronized. The abstraction layers of modern systems can make it particularly difficult to guarantee that no two versions of the same state are present. The main concerns here are

• how the actual storage for the state is implemented,
• how it is modified,
• how an accidental/intentional failure/glitch might affect the state security.

A system may have a version of the private key stored in non-volatile memory (e.g. a disk) and will load it into volatile memory (e.g. RAM) while processing. Here, an implementer must ensure that these are always perfectly synchronized , meaning that no parts of the system are allowed to read any version of the key during procedures which load, write or modify keys. This can be particularly challenging if there are additional abstraction layers present in the system, like additional caches which may affect reading/writing the state and its potential existence in multiple locations. Cloning is another concern, as it can easily lead to re-using the same state. This can happen for instance if a process which issues a signing operation is forked, and no proper synchronization is enforced in the implementation to guarantee correct state update. Virtual machine (VM) cloning is another potential security risk here, as both backing up a VM into non-volatile memory or live cloning of a VM can easily lead to a state re-use . With users shifting workloads to cloud service providers, the issue of VM cloning may become more prevalent. Using dedicated cryptographic hardware is recommended to enforce these requirements, ensure correct behavior and handle the complexity of state management. In particular, this enables implementing rollback resistant counters which can be difficult to achieve in a software-only fashion. On the verifier side, no state management is required. However, the verifier needs to trust the signer to not have re-used the state. A verifier may want to check that no state re-use happened in the past by a signer, before accepting a signature. In practice, this can be done if the verifier has access to all signatures issued by the signer. As the signatures contain the index of the OTS key used, detecting if an index was used more than once becomes trivial. In practice, such a (public) data structure which contains all signatures may already be present in some use cases (e.g. certificate transparency ) or could be built. It is worth noting that while trusting the signer to not re-use the state is a strong assumption, other signature schemes like ECDSA introduce similar assumptions for the verifier, by requiring the signer to never re-use the nonce.

Potential Solutions A variety of potential solutions have been proposed both within the specification, as well as from external sources. This section describes a number of approaches and their potential advantages/disadvantages.

Multiple Public Keys (SP-800-208) proposes generating multiple Stateful HBS keypairs and configuring devices and clients to accept signatures created by any of these keys. Secondary Stateful HBS keys can be kept in storage until the first keypair is exhausted or lost. Accepting multiple public keys negatively impacts one of the advantages of using Stateful HBS by increasing the public key footprint within the client, which can be problematic if it has limited public key storage capacity. (Though public keys are typically equivalently sized to ECDSA rather than larger classical RSA keys often currently found.) addresses storage capacity concerns by suggesting using a mechanism such as that proposed in to update the stored public key by having the current key endorse the next key that is to be installed. Unfortunately, for many constrained devices the public key is embedded in immutable ROM or fuses due to security reasons, so it cannot be updated in this manner. The proposal of using multiple Stateful HBS keypairs for a single instance also generates questions as to how to establish that approach in existing public key infrastructures. For example, issuing multiple certificates adds the storage needs of the certificate material to the public key footprint. In order to alternatively issue multiple public keys encoded inside a single certificate one would need a standardized format if interoperability is a concern.

Distributed Multi-trees (SP-800-208) also proposes creating multiple Stateful HBS keys across multiple cryptographic modules using a distributed multi-tree approach that is a variant of the standard hyper-tree based Stateful HBS schemes HSS and XMSS^MT. In this approach, trees are instantiated on a root device (HSM_root), as well as one or more subordinate devices (HSM_sub{{i}}), and the root tree is used to sign the root nodes of the subordinate trees to synthesize a multi-level Stateful HBS key. The root device is only ever used to sign subordinate device root nodes, while the subordinate device(s) is(are) used to sign messages. This is relatively straightforward to do using HSS, and describes the necessary algorithmic modifications when using XMSS^MT. One drawback of this approach is the increased signature size as an additional OTS needs to be generated, effectively doubling the overall signature size. Another concern is the single point of failure nature of relying on the root tree module to sign all of the subordinate trees; if the root tree device fails then no new subordinate trees can be signed. suggested that as many subordinate trees as possible be generated during the initial root key generation and subordinate-signing procedure. Unfortunately, this can incur a large capital expenditure to procure all of the necessary devices, many of which may not be used for a long period of time, if at all. The subordinate tree root node signing process must also be carefully managed to ensure top level trees are only ever used to sign the root nodes of trusted/approved subordinate trees to ensure that no malicious signing request is accepted, which would effectively give a rogue entity the ability to generate valid signatures, thereby undermining the security of the entire system. also suggests combining distributed multi-trees with multiple root public keys as a means to mitigate some of the concerns regarding having a single point of failure in the root tree. However, even if a system operator does everything right, use cases with exceptionally long lifetimes of 10-20+ years (e.g., automotive and aerospace/satellite applications) will require system operators to rely on devices well beyond their expected lifetimes of 5-10 years, which may constitute an unacceptable business risk.

Sectorization Distributed multi-trees attempt to partition a Stateful HBS signing space amongst multiple cryptographic modules by breaking up the signing space along the boundaries of the subordinate trees generated during the multi-tree key generation process. An alternative approach would be to use only a single tree, and partition its signature space along some power-of-2 less than the total number of leaves in the tree (e.g., 2^s for a tree of height h > s), creating N = 2^h-s partitions or sectors, which are instantiated as N height-s Merkle trees whose root nodes are considered interior nodes of the overall height-h Merkle tree. Hence, there is no additional OTS required to sign their root nodes; their values are used as-is in the tree ascent mechanism of the underlying Stateful HBS scheme, yielding a common public key (i.e., root node) for all sectors. Care must be taken to ensure that each sector uses the same root tree identifier (i.e., the "I" value for HSS/LMS and "root" value for XMSS/XMSS^MT). Each of the N sectors' OTS private key values can be generated pseudo-randomly from a unique seed value generated from an appropriate source of randomness. The private keys from different sectors are independent when generated by this process. This requires that the path information for the root node of each sector (i.e., all off-path nodes between the sector root node and the top level node value) be stored with each sector's private key at key generation time since a sector will not know the seed information required to compute any of the other sectors' root nodes during the tree ascent phase of a signature generation operation. During signature generation the signer appends the stored path information to the path information it computes to ascend from the leaf OTS to the sector's root node (which it can compute given that it knows its own seed value). Hence, sectorized key generation results in a single public key value and 2^h-s private key values, each capable of generating 2^s signatures, after which the sectorized key is exhausted. In addition to avoiding an increased signature size; when unique seeds are utilized sectorization breaks a given Stateful HBS key/state into multiple independent fragments that can be managed as independent objects. As a result, system operators may distribute sectors to multiple cryptographic devices, providing scalability through parallelization and improved resiliency/availability. This approach offers isolation between sectors, ensuring that a compromise in one does not extend to others, thereby supporting damage containment. At the same time, it simplifies operational robustness by removing the need for cross-device state coordination, since each sector is restricted to its own signature space.

Key/State Transfer Stateful HBS key/state transfer between cryptographic modules entails having a means to migrate one instance of a Stateful HBS key/state on a source device to a separate destination device, while ensuring that any copy of the key/state is deleted from the source device. This capability may help alleviate the aforementioned concern regarding operating devices beyond their expected lifetimes by allowing operators to migrate Stateful HBS key/state to a newer device when the original device begins to approach its end-of-life. However, it still leaves the operator vulnerable to having the source device fail before the key/state can be transferred, effectively causing the loss of the key/state. Hence, it will not be of much help addressing the single point of failure issue identified for root trees, but may be useful for managing subordinate trees. In addition to complete key/state transfer, a device holding part of the total available OTS signatures may transfer some unused capacity to another device (partial state transfer). In more advanced deployments, state fragments from two devices may be merged to reconstruct or continue signature operations. These operations carry risk: ensuring no overlap in used indices, ensuring atomicity of transfer/merge operations, managing consistency, possible conflicts, and durability of state across devices. Such approaches require robust synchronization, auditability, and appropriate backup mechanisms to avoid double-signing or loss of capacity. A more elaborate variant of key transfer, going beyond what allows, can be found described in where key transfer is accomplished using a two-step export and import process with hash-based transfer validation to yield a more robust transfer mechanism.

Key Rotation Key rotation, such as that defined in , would generate new Stateful HBS keys on an as-needed basis, and provide a means to transition the system on to using this new Stateful HBS key, while generating the next key in the chain in preparation of a future rotation/update. However, this just shifts the problem to the PKI and certificate handling. Key rotation is not foolproof since in most use cases it will require redundancy to ensure there is at least one Stateful HBS signing key available to attest to newly generated keys. In addition, for many applications the device keys cannot be updated due to engineering constraints or security reasons.

Variable-length Signature Chains A variant of the key rotation approach is to have an available signing tree endorse a new subordinate tree when it is about to become exhausted (e.g., use its final OTS to sign the root node of a new subordinate tree, creating a {n+1}-layer multi-tree from an {n}-layer multi-tree). This process can in theory be repeated as many times as necessary. However, this entails having a multi-tree scheme with a variable number of levels, and hence, variable length signatures. Such dynamically extensible constructions are research-class and are not currently standardized or deployed. In addition to departing quite significantly from the current Stateful HBS specifications and , this approach has a number of significant challenges on both the engineering and operational fronts. Firstly, the variable length nature of the signature can lead to variable length verification of signatures, which may cause significant issues for use cases with strict time constraints (e.g., secure booting of a semiconductor device). From an operational perspective, the ability of a subordinate tree to sign either messages or new subordinate trees leads to severe security implications as the rigor around authorizing those two types of operations will vary dramatically, leading to either a much more onerous message signing operation, or a much more risky subordinate tree signing operation. This may put the system operator in an untenable situation where no users are satisfied with the resulting solution, and hence, should not be considered as a viable solution.

Pre-assigning States In some applications, individual one-time signatures (or states) can be pre-assigned to the to-be-signed objects. This may for example be possible if the signed objects are monotonically increasingly numbered. One example of such a use case may be software signing. This solution basically externalizes the state management to the to-be signed messages. Expanding on the given example, for software that is released with strictly increasing, simple single-position version numbers (i.e., versions 1, 2, 3...), this can be trivially implemented. As versions have a one-to-one correspondence to a Stateful HBS signing state, operators must ensure that versions can only be minted a single time. This may require skipping version numbers if a release process failed, to avoid double-signing. This scheme can be adapted to more complicated release schemes: for example, minor update-releases 1.0 to 1.99 can be accommodated by assigning signatures 1-100 for these version numbers, while release 2.0-2.99 would get signatures 101-200. The assignments must be fixed as the scheme is set up, and operators should take into account that they are strictly limiting the number of update releases. In the described solution to state management, one must move up a major release number after 99 minor releases, even if this would break, e.g., semantic versioning conventions. A variant of pre-assigning signatures is doing this on the basis of time, which we describe in the next section.

Time-based State Management As a variant of pre-assigning one-time signatures based on external counters, it is in theory possible to base the selection of one-time signature indexes on the current date and time. For example, if a given Stateful HBS instance offers 1024 total signatures, they could be broken up into 8 groups of 128 OTS instances each, with the first 128 allowed to be used in the first time window, the second 128 in the second time window, and so on, until the signature space is effectively exhausted after 8 time windows. Note that a time-based approach to state management will "waste" any OTS keys that are unused in past time windows. One must not attempt to use these keys after the time window has gone by. Any time-based approach has a very strict reliance on accurate time-keeping and synchronization of clocks. In particular, we identify that at least the following engineering-related challenges need to be considered:

• Signing devices must have accurate timekeeping (which is a very challenging engineering problem ).
• Time on signing devices must not be allowed to ever move backwards, as this can cause double-signing.
• Within time windows, signers must track the number of signatures produced to ensure it does not exceed the number allowed within the window.
• Signing devices must still operate consistently with the requirements of state keeping for Stateful HBS: the signature index within a time window should still appear to be updated atomically, and signatures must not be released before state changes have been recorded.
• A system should be robust against exhaustion of the number of signatures available in a time window, as in this case it is required to wait until the next time window starts before new messages can be signed.
• Time on signing devices should not be allowed to be moved forward maliciously or accidentally, which would allow for a simple denial-of-service attack by skipping over portions of the signature space.
• If a signing device needs to be replaced, the replacement device must be set up with its time in sync with or ahead of the device it is to replace. This implies the current time on signing devices should be continuously recorded.
• Rate limiting may need to be considered, as exhausting the available signatures in a given time window may otherwise be easy.
• It may be necessary for signers to keep a separate clock for time-based state management, and one for not necessarily monotonically increasing "wall-time", e.g., if signed artifacts are expected to be time-stamped with real-world time.

If these concerns can not be sufficiently addressed, time-based state management as described in this paragraph should not be used. Note that this list of concerns is not exhaustive, and other, unmentioned, concerns may also be relevant to the security of a time-based solution. Time-based systems can be backed up by simply recording the private keys and the configuration of the time windows. In case of loss of a signing device, a time-based state management system can be recovered by using this information to bring online a new device in the next time window. This approach may also be used as a recovery mechanism in the case of (suspected) state consistency problems during a time window. However, the operator must not allow new signatures to be produced before the new time window starts, unless they know the exact state at which the previous device became unavailable and are able to set up the new device accordingly. Waiting until the start of the next time window avoids double signing, as the OTS keys assigned to future time windows are guaranteed to have not yet been used. However, this might incur significant downtime of the signing systems. Downtime may be avoided by forcibly moving the signing device to the next time window by incrementing its clock; however, this induced clock drift will then need to be accounted for in the future. If clock drift is to be avoided, this approach should account for availability considerations.

Interval-based Approaches The State Reservation Strategy described in section 5 of provides another means of managing the state by allowing users to reserve intervals of the signing space, marking the interval's associated OTS keys as being used in the overall HBS state, which is then written back to non-volatile memory prior to their usage. The OTS keys within the reservation interval are then consumed as-needed, without having to update the state again until they have all been consumed and additional OTS keys are required. Note that the reserved OTS keys are kept in dynamic memory so they will be lost if the signing device loses power or is reset, resulting in a reduction in the number of usable signatures for a given HBS instantiation. Over provisioning can be used to ensure a sufficient number of signatures can be provided in the presence of unexpected losses due to power loss or resets. Over provisioning will cause a minor increase between 2% and 12% on signature length as the MTS validation paths increase to accommodate the increased Merkle tree height. However, reservation eliminates the need to update the state after each OTS key is used, minimizing the likelihood of state reuse due to state update failures and coherency issues. Multiple signing devices can in theory utilize reservation intervals to carve out portions of signing space so that a single S-HBS key can be shared amongst multiple devices, leading to potential performance and disaster-recovery benefits. However, great care must be taken to manage the reservations to ensure there is no overlap or repeated reservation of a given interval, either in part or in whole.

Backup Management Beyond NIST SP-800-208 In this section, an alternative backup mechanism for Stateful HBS is presented in a generic form, which makes the strategy applicable for both multi-tree instances XMSS^MT and HSS. However, following the same arguments as in , with minor modifications, the presented strategy is also applicable for single-tree instances such as XMSS and LMS. The strategy presented in this section builds upon the multi-tree variant approach from , and aims to mitigate its limitations described in . Thus, it is assumed that already a top-level Merkle tree (for signing the root-nodes of sub-trees) and several bottom-level Merkle trees (for signing messages) are initiated. These bottom-level trees may be implemented on different hardware modules in order to obtain redundancy and improve availability. Let R be the number of these already initiated bottom-level trees. Let h₀ be the height of the top-level-tree. It is assumed that R + 1 is strictly smaller than 2^h₀, the number of leaves of the top-level tree. In this new strategy, after the completed key generation procedure from the multi-tree variant approach from , further bottom-level trees are generated, one by one, in one of the hardware modules. These new bottom-level trees are each generated from a different seed, which is chosen uniformly at random. For the sake of clarity, let us introduce some notation:

• S denotes the number of these newly generated bottom-level trees. Note that at most 2^h₀ - R new bottom-level trees can be generated, i.e. S is lower or equal to 2^h₀ - R. In the following we suppose that S is strictly smaller than 2^h₀ - R.
• I_new denotes the set of indices that belong to these newly generated bottom-level trees, i.e. I_new = {R, R+1, ..., R+S-1}. I_new is zero-indexed here.

For each new bottom-level tree, after it has been generated, the following steps must be performed:

• sign the corresponding root node with an unused OTS key from the top-level tree,
• securely key export (as described in ) the seed, which was used to generate the bottom-level tree,
• export the signature of the root node, the corresponding OTS key index and finally the hash of the seed, using appropriate domain separation (i.e. ensuring there is no domain overlap with the hashes in the Stateful HBS scheme, and the hash of the seed includes the public key and leaf index to mitigate multi-target attacks),
• irreversibly delete the seed and the bottom-level tree from the hardware module.

The newly generated bottom-level trees (i.e. those bottom-level trees, whose indices belong to I_new) are only used in order to guarantee availability in the worst-case scenario, where at the same time both

• none of the R bottom-level Merkle trees (which were generated according to the multi-tree variant approach from ) are available for signing messages and
• the top-level Merkle tree (which is used for signing the root-nodes of sub-trees) is also not available anymore.

This scenario may, for example, happen if all hardware modules are broken at the same time. As soon as this worst-case scenario occurs, the newly generated bottom-level trees (i.e. those bottom-level trees, whose indices belong to I_new) need to be initiated in order to ensure availability. In order to do this the following steps must be performed:

• initiate a new hardware module
• securely key import (as decribed in ) the first unused seed into this hardware module
• generate the bottom-level tree corresponding to the seed
• irreversibly delete the seed from the backup medium
• perform a correctness check by letting the hardware module output the hash of the seed

Now this bottom-level tree can be used to sign messages. As soon as no more OTS on the bottom-level tree are available or as soon as the hardware module is broken, the above steps with a new seed from the backup medium can be repeated. Note that the resulting signatures generated from these backed up seeds do not require any special processing on the verifier side. The signature stored alongside the backed up seed, and the signature generated from the bottom-level trees created from the backed up seed can be combined to match the format of a signature over the complete tree.

Security Considerations Security considerations are given throughout this document. Further security considerations, which are not already covered in this document, are given in , , , and .

IANA Considerations This document has no IANA actions.

Informative References This document specifies algorithm identifiers and ASN.1 encoding formats for the following stateful Hash-Based Signature (HBS) schemes: Hierarchical Signature System (HSS), eXtended Merkle Signature Scheme (XMSS), and XMSS^MT (a multi-tree variant of XMSS). This specification applies to the Internet X.509 Public Key Infrastructure (PKI) when digital signatures are used to sign certificates and certificate revocation lists (CRLs). Arm Limited Nordic Semiconductor Openchip & Software Technologies, S.L. The SUIT manifest, as defined in "A Manifest Information Model for Firmware Updates in Internet of Things (IoT) Devices" (RFC 9124), provides a flexible and extensible format for describing how firmware and software updates are to be fetched, verified, decrypted, and installed on resource-constrained devices. To ensure the security of these update processes, the manifest relies on cryptographic algorithms for functions such as digital signature verification, integrity checking, and confidentiality. This document defines cryptographic algorithm profiles for use with the Software Updates for Internet of Things (SUIT) manifest. These profiles specify sets of algorithms to promote interoperability across implementations. Given the diversity of IoT deployments and the evolving cryptographic landscape, algorithm agility is essential. This document groups algorithms into named profiles to accommodate varying levels of device capabilities and security requirements. These profiles support the use cases laid out in the SUIT architecture, published in "A Firmware Update Architecture for Internet of Things" (RFC 9019). n.d. n.d. n.d. This note describes the eXtended Merkle Signature Scheme (XMSS), a hash-based digital signature system that is based on existing descriptions in scientific literature. This note specifies Winternitz One-Time Signature Plus (WOTS+), a one-time signature scheme; XMSS, a single-tree scheme; and XMSS^MT, a multi-tree variant of XMSS. Both XMSS and XMSS^MT use WOTS+ as a main building block. XMSS provides cryptographic digital signatures without relying on the conjectured hardness of mathematical problems. Instead, it is proven that it only relies on the properties of cryptographic hash functions. XMSS provides strong security guarantees and is even secure when the collision resistance of the underlying hash function is broken. It is suitable for compact implementations, is relatively simple to implement, and naturally resists side-channel attacks. Unlike most other signature systems, hash-based signatures can so far withstand known attacks using quantum computers. This note describes a digital-signature system based on cryptographic hash functions, following the seminal work in this area of Lamport, Diffie, Winternitz, and Merkle, as adapted by Leighton and Micali in 1995. It specifies a one-time signature scheme and a general signature scheme. These systems provide asymmetric authentication without using large integer mathematics and can achieve a high security level. They are suitable for compact implementations, are relatively simple to implement, and are naturally resistant to side-channel attacks. Unlike many other signature systems, hash-based signatures would still be secure even if it proves feasible for an attacker to build a quantum computer. This document is a product of the Crypto Forum Research Group (CFRG) in the IRTF. This has been reviewed by many researchers, both in the research group and outside of it. The Acknowledgements section lists many of them. This document describes version 2.0 of the Certificate Transparency (CT) protocol for publicly logging the existence of Transport Layer Security (TLS) server certificates as they are issued or observed, in a manner that allows anyone to audit certification authority (CA) activity and notice the issuance of suspect certificates as well as to audit the certificate logs themselves. The intent is that eventually clients would refuse to honor certificates that do not appear in a log, effectively forcing CAs to add all issued certificates to the logs. This document obsoletes RFC 6962. It also specifies a new TLS extension that is used to send various CT log artifacts. Logs are network services that implement the protocol operations for submissions and queries that are defined in this document. This document specifies the Hash Of Root Key certificate extension. This certificate extension is carried in the self-signed certificate for a trust anchor, which is often called a Root Certification Authority (CA) certificate. This certificate extension unambiguously identifies the next public key that will be used at some point in the future as the next Root CA certificate, eventually replacing the current one. When the Curdle Security Working Group was chartered, a range of object identifiers was donated by DigiCert, Inc. for the purpose of registering the Edwards Elliptic Curve key agreement and signature algorithms. This donated set of OIDs allowed for shorter values than would be possible using the existing S/MIME or PKIX arcs. This document describes the donated range and the identifiers that were assigned from that range, transfers control of that range to IANA, and establishes IANA allocation policies for any future assignments within that range.

Acknowledgments This document was inspired by discussions at the 2nd Oxford Post-Quantum Cryptography Summit 2023. We gratefully acknowledge Melissa Azouaoui for her input to this document. The abstract and the introduction are based on the introduction in . Thanks go to the authors of this document. "Copying always makes things easier and less error-prone" - .

Contributors

• Jeff Andersen (Google)
• Bruno Couillard (Crypto4A Technologies)
• Stefan-Lukas Gazdag (genua GmbH)