# ORIBATIDA Mode of Authenticated Encryption

Oribatida is a variant of the monkey-wrap design, as used before, e.g., in Ascon or NORX. Oribatida extends such previous designs by a ciphertext-block masking that boosts the security and ensures resilience against release of unverified plaintext material. We denote by (U_{i}, V

_{i}) the outputs of and by (X

_{i}, Y

_{i}) the inputs to the permutation. As in the classical sponge, Oribatida considers the state S

_{i}= (U

_{i}||V

_{i}) as a rate part U

_{i}of r bits, where inputs are XORed to, and a capacity part V

_{i}of c = n−r bits. Unlike the usual sponge, an s-bit part of the capacity is used to mask the subsequent ciphertext block.

## Features

1. ** Oribatida Is Lightweight. ** As a keyed permutation-based mode of operation, Oribatida has to store neither the state of the permutation (plus a small overhead) nor subkeys or tweaks. Authentication and encryption can be performed fully online and impose no need on buffering the input. For instantiations, we employ a lightweight family of permutations SimP that is very close to the block-cipher variants Simon-96-96 or Simon-128-128 and their respective key schedules. As a result, the instances of SimP possess a low state size of only 192 and 256 bits, respectively.

2. ** Oribatida Is Performant. ** For a security level of 128 bits, Oribatida provides a rate of 1/2 (two calls to a permutation for processing n-bit message material) for authentication and encryption even with a small permutation size of only n = 192 or n = 256 bits due to the way it masks ciphertext blocks.

3. ** Oribatida Alleviates Its Usage Across Different Platforms. ** Our proposed instantiations of Oribatida with the SimP family of permutations can be implemented with only the basic operations AND, rotations, and XOR. Since SimP avoids the use of S-boxes, implementations can split the state flexibly according to the target platforms’ needs.

4. ** Oribatida Is Based on Well-known Components. ** The design of Oribatida is based on the well-known duplex mode. Therefore, it founds on well-established results. Since SimP is very close to the design of Simon, it can profit from the existing cryptanalysis, and rely on its already well-understood permutation design.

5. ** Oribatida Is Secure. ** The design of Oribatida inherits the minimal security guarantees of the duplex mode. Moreover, Oribatida augments the usual sponge by a ciphertext masking that boosts the security. While this specification omits tedious proof details, all members of the Oribatida family are expected to provide 128-bit security for encryption and integrity.

6. ** Oribatida Is Robust under Release of Unverified Plaintexts. ** While authenticated encryption can be realized in an online manner, proper authenticated decryption must be offline. However, resource-constrained devices can hardly buffer long messages until the authentication tag is verified, which can lead to a complete loss of privacy and integrity. The ciphertext masking of Oribatida limits the security damage in such cases. In the case of accidental misuse, Oribatida provides integrity also in the case that plaintext material leaks from invalid ciphertexts.

## Mode Specification

### Initialization

Each variant of Oribatida uses a fixed size for nonces, whose length is chosen such that k+ν = n bits. The nonce N is concatenated with the key K to initialize the state: N||K: (U_{0}, V

_{0}) ← (N||K) ⊕

_{d}d

_{N}. The domain d

_{N}is XORed to the least significant byte of the initial state. Then, the first state value S

_{1}results from a call to the permutation: (U

_{1}||V

_{1}) ← P(U

_{0}||V

_{0}). Note that we store the value of V

_{0}or V

_{1}(aliased by V

_{f}), depending on whether the associated data is empty or not, to mask the first block of ciphertext later.

### Processing Associated Data

After the initialization, the associated data A is padded with a 10∗-padding if |A| mod r ≠ 0 such that its length becomes the next highest multiple of r bits. Thereupon, the padded associated data A is split into r-bit blocks (A_{1}, ... , A

_{a}). Given the state S

_{i}= U

_{i}||V

_{i}, where |U

_{i}| = r and |V

_{i}| = c, A

_{i}is XORed to the rate part of the state: X

_{i}← U

_{i}⊕A

_{i}, for 1 ≤ i < a. For all non-final blocks of A, the capacity part of the permutation output, V

_{i}, is simply forwarded to the capacity part of the subsequent input to the permutation P': Y

_{i}← V

_{i}. The next state is computed by a call to the reduced permutation P' afterwards, for all indices 1 < i < a but the final a-th block of A: S

_{i}← P'(X

_{i}||Y

_{i}). When the final block A

_{a}is processed, a domain d

_{A}that depends on the lengths of A and M is XORed to the least significant byte of the capacity.

### Encryption

After the associated data has been processed, the message M is encrypted. If the length of M is not a multiple of r bits, M is padded with a 10∗-padding such that its length after padding becomes the next highest multiple of r bits. Thereupon, M is split into r-bit blocks (M_{1}, ... , M

_{m}) after padding.

The blocks M

_{i}are processed one after the other. Given the state value S

_{i}= U

_{i}||V

_{i}, where |U

_{i}| = r and |V

_{i}| = c, the current block M

_{i}is XORed to the rate part U

_{a+i}: X

_{a+i}← M

_{i}⊕U

_{a+i}. The capacity part is simply forwarded: Y

_{a+i}← V

_{a+i}. Then, (X

_{a+i}||Y

_{a+i}) is used as input to a call to P to derive the next state value S

_{a+i+1}← P(X

_{a+i}||Y

_{a+i}).

The ciphertext blocks C

_{i}are computed from a sum of the current rate, the current plaintext block, and a (partial) earlier value from the capacity. The first ciphertext block is computed from C

_{1}← X

_{a+i}⊕LSB

_{s}(V

_{f}).

If it is the final block, then, C

_{1}is computed from C

_{1}← MSB

_{lE}(X

_{a+i}⊕LSB

_{s}(V

_{f})), where l

_{E}denotes the length of M before padding.

The further non-final ciphertext blocks C

_{i}, 1 < i < m, are computed from C

_{i}← X

_{a+i}⊕

_{s}LSB

_{s}(V

_{a+i−1}), for 1 < i < m. If m > 1, the final ciphertext block C

_{m}is computed from C

_{m}← MSB

_{lE mod r}(X

_{a+m}⊕LSB

_{s}(V

_{a+m−1})).

For the final message block, a domain d

_{E}is XORed to the least significant byte of the capacity: Y

_{a+m}← V

_{a+m}⊕

_{d}d

_{E}. Thereupon, P is called another time to derive S

_{a+m+1}← P(X

_{a+m}||Y

_{a+m}). Its rate part, truncated to τ bits if necessary, is released as the authentication tag: T ← MSB

_{τ}(S

_{a+m+1}).

### Decryption

The decryption algorithm takes a tuple (K,N,A,C,T). Again, the initialization with K and N as well as the processing of the associated data A is performed in the same manner as for encryption. If |C| mod r ≠ 0, the decryption pads C with a 10∗-padding to the next multiple of r bits. In all cases, it splits C into r-bit blocks (C_{1}, ... , C

_{m-1}) plus a final block C

_{m}. If m > 1, the plaintext block is computed as X

_{a+i}← C

_{i}⊕LSB

_{s}(V), M

_{i}← (U

_{a+i}⊕X

_{a+i}), where V = V

_{f}for i = 1 and V = V

_{a+i−1}otherwise. The capacity is again simply forwarded to the next call of the permutation: Y

_{a+i}← V

_{a+i}. The subsequent state is then computed by (U

_{a+i+1}||V

_{a+i+1}) ← S

_{a+i+1}← P(X

_{a+i}||Y

_{a+i}).

For the final block m, the final plaintext block is computed from the padded ciphertext block C

_{m}as X

_{a+m}← C

_{m}⊕LSB

_{s}(V), M

_{m}← LSB

_{x}(U

_{a+m}⊕X

_{a+m}), where x ← l

_{E}mod r. For the final block, the domain d

_{E}is XORed to the least significant byte of the capacity: Y

_{a+m}← V

_{a+m}⊕

_{d}d

_{E}. The would-be tag T' is derived by computing (T'||Z) ← P(X

_{a+m}||Y

_{a+m}), and using only its most siginficant τ bits: T' ← MSB

_{τ}(T'||Z) as for the encryption. If T=T', the ciphertext is considered valid, and M = (M

_{1}|| ... ||M

_{m}) is released as plaintext. Otherwise, the ciphertext is considered invalid, and ⊥ is given as output.

### Domain Separation

For the purpose of domain separation, Oribatida defines a set of domain constants d_{N}, d

_{A}and d

_{E}. The domains are XORed with the least significant byte of the state at three stages. The value depends on the presence of A and M and whether their final blocks are absent, partial, or integral. This ensures that there exist no trivial collisions of inputs to P among blocks of A and M.

The constants are determined by the four control bits (t

_{3}, t

_{2}, t

_{1}, t

_{0}) that reflect inputs in the hardware API. The rationale behind them is the following:

**EOI:**t_{3}is the**end-of-input**control bit. This bit is set to 1 iff the current data block is the final block of the input. For all other cases, t_{3}is set to 0.**EOT:**t_{2}is the**end-of-type**control bit. This bit is set to 1 iff the current data block is the final block of the same type, i.e., it is the last block of the message/associated data. Note that, if the associated data is empty, the nonce is treated as the final block of the associated data. So, t_{2}is set to 1. For all other cases, t_{2}is set to 0.**Partial:**t_{1}is the**partial-control**bit. It is set to 1 if the current data block is partial, i.e. if its size is less than the required block size. For all other data blocks, t_{1}is 0.**Type:**t_{0}is called the**type-control**bit. It identifies the type of the current data block. For the nonce and the processing of the final message block, t_{0}is set to 1. For all other cases, t_{0}is set to 0.

_{N}= (t

_{3}t

_{2}t

_{1}t

_{0}) = (0101).

## SimP-n-θ Family of Permutations

SimP-n-θ is a family of permutations from n bits to n bits. Each of them uses Simon(n/2)/(n/2) block cipher in θ rounds. The input to the permutation is divided into two halves, and they serve as the key and the input to the first round respectively. The key and the output of one round (each of size n/2 bits) serves as the input and the key of the next round respectively. In the end, the key and the output of the final round are concatenated and it serves as the output of the permutation. Each round deviates very little from the exact Simon block cipher algorithm. The detail of the SimP-n-θ family of permutations can be found here, and the detail of the Simon family of block ciphers can be found here.## Recommended Instantiations

Oribatida-n-s is proposed in two versions, parametrized by the state size of the permutation n, and a mask size s. The following table lists the proposed parameter sets. We define a security parameter z = c+s which should be defined as 192 (the target for NIST security requirements). We briefly recall the parameters and the conditions satisfied by these parameters.- We always choose a key size of k = 128 bits.
- n denotes the size of the permutation in bits, which is either 256 or 192.
- The nonce length ν is chosen such that ν+k = n holds.
- The capacity of the permutation is chosen as c = 192−s bits (by the security requirement mentioned above).
- Thus, the mask size s is at most the capacity: s ≤ c.
- Finally, the tag length is set to τ = r bits.

^{n}

_{2}), where P' is chosen as a round-reduced variant of P to process the associated data efficiently. The following members of the Oribatida-n-s family are proposed, based on instantiations from the SimP family of permutations:

- Our primary recommendation is Oribatida-256-64. For P, this variant uses SimP-256-4 with r
_{s}= 34 rounds per step and θ = 4 steps. Moreover, for P', it employs SimP-256-2 with r_{s}= 34 rounds per step and θ = 2 steps. - Our secondary recommendation is Oribatida-192-96. For P, this variant uses SimP-192-4 with r
_{s}= 26 and θ = 4 steps. For P', it employs SimP-192-2 with r_{s}= 26 and θ = 2 steps.

## Security

The following table summarizes our security claims for our recommended variants of Oribatida.## Cryptanalysis

The number of steps and rounds of SimP was chosen to resist known cryptanalysis techniques and tools. This section provides a rationale of our choices from the existing works.### Existing Cryptanalysis on Simon

Various works considered analyzed the Simon family of block ciphers since its proposal. ** Differential Cryptanalysis. ** Cryptanalysis that appeared early after the proposal of Simon followed heuristics for differential cryptanalysis: Abed et al.^{[1]} followed a heuristic branch-and-bound approach that yielded differentials for up to 30 round Simon-96. Biryukov et al.^{[2]} studied more efficient heuristics, but considered the small variants with state sizes up to 64 bits. Dinur et al.^{[3]} showed that distinguishers on Simon with k key words can be extended by at least k rounds. Interestingly, boomerangs seemed to be less a threat to Simon-like ciphers than pure differentials.

Kölbl et al.^{[4]} redirected the search on optimal characteristics. More recently, Liu et al.^{[5]} employed a variant of Matsui’s algorithm^{[6]} to find optimal differential characteristics. They found that characteristics with probability higher than 2^{−96} covered at most 27 rounds. Moreover, they found at best 31-round differentials with accumulated probability higher than 2^{−96}, i.e., of probability 2^{−95.34}. For Simon-128, they showed that optimal differential characteristics covered at most 37 rounds; furthermore, they found 41-round differentials with cumulative probability of 2^{−123.74}.

** Linear Cryptanalysis. ** Linear trails are similarly a threat as differential trails. Alizadeh et al.^{[7]}^{[8]} studied linear trails. They reported multi-linear distinguishers on all variants of Simon. For Simon-96-96, they proposed a multi-linear distinguisher on up to 31 rounds that could be extended by two rounds in a key-recovery attacks. Similarly, they reported a 37-round distinguisher for Simon-128-128 that could be extendable by two rounds. Chen and Wang^{[9]} published improved key-recovery attacks that employed dynamic key-guessing, i.e., adaptive guessing of key bits to reduce the complexity. Their attacks are the most effective ones for our considered variants to the best of our knowledge, covering up to 37 rounds of Simon-96-96 and up to 49 rounds of Simon-128-128 in theory.

Similar as for differentials, Liu et al. studied also optimal linear approximations^{[10]} with an algorithm adapted from Matsui. Liu et al. found that optimal linear approximations can reach at most 28 rounds for Simon-96, and at most 37 rounds for Simon-128. They further found linear hulls with potential of 2^{−93.8} for 31 rounds of Simon-96, and 2^{−123.15} for 41 rounds of Simon-128.

** Integral, Impossible-differential, and Zero-correlation Distinguishers. ** Integral attacks cover at most 22 rounds for Simon-96-96 and 26 rounds of Simon-128-128. Zhang et al.^{[11]} found integrals on up to 21 and 25 rounds for Simon-96 and Simon-128. Their
results were extended by one round each by Xiang et al.^{[12]}, and later by Todo and Morii^{[13]}. The latter could show the absence of integrals for 25-round Simon-96. Their observation was confirmed by Kondo et al.^{[14]}.

Shen et al.^{[15]} studied impossible-differential and zero-correlation distinguishers. The maximal number of rounds that such distinguishers can cover is given by at most twice the length of the maximal diffusion. Since this is given by 11 rounds for Simon-96 and 13 rounds for Simon-128-128 by Kölbl et al., such distinguishers can cover at most 22 and 26 rounds in the single-key setting.

For related keys, Kondo et al. searched for iterative key differences in Simon. This allowed them to extend previous results by four to 15 rounds. For Simon-96-96, the authors found iterative key differentials for up to 20 rounds. Though, it remains unclear if this yields an impossible differential; in the best case, such a 20-round distinguisher can be extended by 2+2+2 wrapping rounds: two more blank rounds where one of the key words is not used, plus two rounds where the key difference can be canceled by the state differences, plus two outermost rounds since the result of the non-linear function is independent of the key and therefore predictable in Simon. So, an impossible-differential distinguisher could cover up to 26 rounds. Note that this upper bound that has not been formulated to an attack on the here-considered versions by Kondo et al. and is therefore not part of the attack overview in the following table.

** Algebraic Cryptanalysis ** is unlikely to be a threat on Simon-like constructions for sufficiently many rounds. However, Raddum^{[16]} showed that the large number of rounds is necessary, by demonstrating that equation systems of up to 14 rounds of Simon-96-96 and up to 16 rounds of Simon-128 are efficiently solvable on an off-the-shelf laptop. Though, extensions are unknown at the moment.

** Meet-in-the-Middle Attacks ** are successful primarily on primitives that do not use parts of the key space in sequences of several rounds. The Simon-2w-2w versions use every key bit in each sequence of two subsequent rounds, which limits the chances of meet-in-the-middle attacks drastically. Considering 3-subset meet-in-the-middle attacks, together with an initial structure and partial matching, the length of an attack is limited to that of twice the full diffusion plus four rounds plus the maximal length of an initial structure plus two rounds for a splice-and-cut part, which yiels 30 rounds as upper bound. Though, it is unlikely that such attacks cover 30 or more rounds on Simon-2w-2w.

** Correlated Sequences. ** A recent interesting direction may be correlated sequences^{[17]}. Rohit and Gong’s technique requires only very few texts and could break 27 rounds of Simon-32 and Simeck-32 and thus, outperformed all previous attacks by at least 3 rounds.
Though, that approach needs further investigation and has seen application only to Simon-32-64 until now.

### Implications to SimP

Clearly, the key schedule of Simon is completely linear. Therefore, the two state words that are transformed by the key schedule allow complete prediction of differences, linear and algebraic properties through a full step. Though, SimP transforms each input word through at least 52 rounds of Simon, in case of SimP-192-2 and SimP-192-4, and 68 rounds of Simon, in case of SimP-256-2 and SimP-256-4. ** Related-key Differential Cryptanalysis. ** SimP needs an analysis of related-key differential and linear characteristics. Though, with existing methods such as the exhaustive search in or SAT solvers, such a study is difficult due to the large state size since the known tools cannot scale appropriately. There exist peer-reviewed related-key results on Simon, e.g., by Wang et al.^{[18]}. Though, their search restricted to related-key trails for the small variants of the Simon family, i.e., Simon-32, Simon-48, and Simon-64.

We conducted experiments using the SAT-based approach from Kölbl et al. as well as using the approach from Liu et al. to search optimal differential characteristics on SimP. Though, the related-key analysis of Simon-like constructions is computationally difficult because of the large state size. We obtained improved trails for only for up to seven rounds of Simon-96; starting from eight rounds, the best found characteristics possessed a zero key difference for up to 10 rounds, which suggests that differences in the few key words do not improve the best single-key characteristics. So, it seems that the probabilities of the existing optimal differential characteristics and linear trails for Simon-96-96 and Simon-128-128 also hold for SimP-192-1 and SimP-256-1 from there. The following table compares the probabilities of optimal single and related-key differential characteristics.

**Number of Steps and Rounds of SimP. ** SimP benefits from the intensive cryptanalysis of Simon. The usage of the key-update function of Simon seems to not promote considerably more effective differential or linear attacks compared to the single-key results on Simon. The usage of the 2w-word key appears not exploitable neither by differentials and linear characteristics, nor by techniques that try to exploit more available state such as meet-in-the-middle attacks. The reason is in the diffusion and the relatively large number of rounds.

The number of steps and the number of rounds in our employed instantiations of SimP have been chosen very conservatively, using the number of rounds per step r s as half the number of rounds in Simon. This choice guarantees that each bit passes at least once through the full-round cipher, and therefore is expected to possess the algebraic degree of the full-round cipher. Moreover, the diffusion properties of Simon render impossible-differential, zero-correlation, or integral attacks implausible.

The design of SimP is as close to the original design of Simon as possible. Therefore, any considerable novel result in the cryptanalysis on SimP would most likely also be a higher threat on Simon-2w-2w at the same time. Thus, such results are possible, but appear unrealistic in the mid-term future. Moreover, the higher number of rounds in SimP provide an additional security margin.

## Hardware Performance

Below, we consider aspects of Oribatida when implementing it in hardware.1. ** Oribatida Is Simple. ** It can be implemented efficiently with little extra cost compared to the duplex sponge. Additional costs result from the use of a module to generate the constants for the domain separation, which can be held in ROM. In modern FPGAs, this module takes only four LUTs. For domain separation, only a four-bit XOR is necessary at the input for capacity of the permutation. An additional 64-bit register to store a mask, and a 64-bit XOR to add the mask to the ciphertext is requires.

2. ** Oribatida Allows A Wide Spectrum of Implementations. ** The use of SimP as its main building block allows to directly transfer the same strategy of using different data-path sizes to Oribatida. Thus, the implementer can choose among various trade-offs between throughput, latency, area, and power consumption.

3. ** Side-channel Resistance. ** In terms of side-channel resistance, the same aspects that hold for SimP also hold for the mode Oribatida. Thus, Oribatida does not introduce additional weaknesses of side channels.

The above table lists the implementations results obtained from Xilinx Vivado 2018 optimizing for area. All results represent measurements after the place-and-route process.

In the above table, we list two columns for the number of clock cycles and throughput, the first one is for associated data processing (reduced rounds SimP) and the second for message processing (normal SimP). Our results represent the first implementation attempts of Oribatida that leaves still room for improvements as explained above.

## References

**^**Farzaneh Abed, Eik List, Stefan Lucks, and Jakob Wenzel. Differential Cryptanalysis of Round-Reduced Simon and Speck. In Carlos Cid and Christian Rechberger, editors, FSE, volume 8540 of Lecture Notes in Computer Science, pages 525–545. Springer, 2014.**^**Alex Biryukov, Arnab Roy, and Vesselin Velichkov. Differential Analysis of Block Ciphers SIMON and SPECK. In Carlos Cid and Christian Rechberger, editors, FSE, volume 8540 of Lecture Notes in Computer Science, pages 546–570. Springer, 2014.**^**Itai Dinur, Orr Dunkelman, Masha Gutman, and Adi Shamir. Improved Top-Down Techniques in Differential Cryptanalysis. In Kristin E. Lauter and Francisco Rodríguez-Henríquez, editors, LATINCRYPT, volume 9230 of Lecture Notes in Computer Science, pages 139–156. Springer, 2015.**^**Stefan Kölbl, Gregor Leander, and Tyge Tiessen. Observations on the SIMON Block Cipher Family. In Rosario Gennaro and Matthew Robshaw, editors, CRYPTO, volume 9215 of Lecture Notes in Computer Science, pages 161–185. Springer, 2015.**^**Zhengbin Liu, Yongqiang Li, and Mingsheng Wang. Optimal Differential Trails in SIMON-like Ciphers. IACR Trans. Symmetric Cryptol., 2017(1):358–379, 2017.**^**Mitsuru Matsui. On Correlation Between the Order of S-boxes and the Strength of DES. In Alfredo De Santis, editor, EUROCRYPT, volume 950 of Lecture Notes in Computer Science, pages 366–375. Springer, 1994.**^**Javad Alizadeh, Nasour Bagheri, Praveen Gauravaram, Abhishek Kumar, and Somitra Kumar Sanadhya. Linear Cryptanalysis of Round Reduced SIMON. IACR Cryptology ePrint Archive, 2013:663, 2013.**^**Mohamed Ahmed Abdelraheem, Javad Alizadeh, Hoda AlKhzaimi, Mohammad Reza Aref, Nasour Bagheri, Praveen Gauravaram, and Martin M. Lauridsen. Improved Linear Cryptanalysis of Round Reduced SIMON. IACR Cryptology ePrint Archive, 2014:681, 2014.**^**Huaifeng Chen and Xiaoyun Wang. Improved Linear Hull Attack on Round-Reduced Simon with Dynamic Key-Guessing Techniques. In Thomas Peyrin, editor, FSE, volume 9783 of Lecture Notes in Computer Science, pages 428–449. Springer, 2016.**^**Zhengbin Liu, Yongqiang Li, and Mingsheng Wang. The Security of SIMON-like Ciphers Against Linear Cryptanalysis. IACR Cryptology ePrint Archive, 2017:576, 2017.**^**Huiling Zhang, Wenling Wu, and Yanfeng Wang. Integral Attack Against Bit-Oriented Block Ciphers. In Soonhak Kwon and Aaram Yun, editors, ICISC, volume 9558 of Lecture Notes in Computer Science, pages 102–118. Springer, 2015.**^**Zejun Xiang, Wentao Zhang, Zhenzhen Bao, and Dongdai Lin. Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers. In Jung Hee Cheon and Tsuyoshi Takagi, editors, ASIACRYPT I, volume 10031 of Lecture Notes in Computer Science, pages 648–678, 2016.**^**Yosuke Todo and Masakatu Morii. Bit-Based Division Property and Application to Simon Family. In Thomas Peyrin, editor, FSE, volume 9783 of Lecture Notes in Computer Science, pages 357–377. Springer, 2016.**^**Kota Kondo, Yu Sasaki, Yosuke Todo, and Tetsu Iwata. On the Design Rationale of SIMON Block Cipher: Integral Attacks and Impossible Differential Attacks against SIMON Variants. IEICE Transactions, 101-A(1):88–98, 2018.**^**Xuan Shen, Ruilin Li, Bing Sun, Lei Cheng, Chao Li, and Maodong Liao. Dual Relationship Between Impossible Differentials and Zero Correlation Linear Hulls of SIMON-Like Ciphers. In Joseph K. Liu and Pierangela Samarati, editors, ISPEC, volume 10701 of Lecture Notes in Computer Science, pages 237–255. Springer, 2017.**^**Håvard Raddum. Algebraic Analysis of the Simon Block Cipher Family. In Kristin E. Lauter and Francisco Rodríguez-Henríquez, editors, LATIN-CRYPT, volume 9230 of Lecture Notes in Computer Science, pages 157–169. Springer, 2015.**^**Raghvendra Rohit and Guang Gong. Correlated Sequence Attack on Reduced-Round Simon-32/64 and Simeck-32/64. IACR Cryptology ePrint Archive, 2018:699, 2018.**^**Xuzi Wang, Baofeng Wu, Lin Hou, and Dongdai Lin. Automatic Search for Related-Key Differential Trails in SIMON-like Block Ciphers Based on MILP. In Liqun Chen, Mark Manulis, and Steve Schneider, editors, ISC, volume 11060 of Lecture Notes in Computer Science, pages 116–131. Springer, 2018.