Abstract
FRAST is a TFHE-friendly stream cipher that was published at FSE 2025. The cipher is defined over Z16, and makes extensive use of negacyclic S-boxes over Z16 as they are less costly in TFHE. Like many FHE-friendly ciphers, FRAST randomizes some of its components to increase its security against statistical attacks. In the case of FRAST, some S-boxes are randomized using an XOF that takes a nonce as input. In this work, we point out a strong structural property of the full FRAST permutation, which leads to a much simpler alternative representation of the primitive. We study the consequences of this representation and find a weak key space of non-negligible size (i.e., much larger than 2128) on which every ciphertext leaks one bit of plaintext. This corresponds to a distinguishing attack on the full FRAST in the weak-key setting. In particular, we emphasize that, apart from the structural property, the usage of negacyclic S-boxes further leads to a much larger weak-key space for our attack. Finally, we provide a general framework to mount a linear attack on FRAST in the average key setting. We briefly describe our approach in the end of the paper, and observe that standard assumptions expected to work in the context of linear cryptanalysis do not hold in the case of FRAST: our experiments indicate that a linear attack in the average key setting does not work as expected.
| Original language | English |
|---|---|
| Pages (from-to) | 119-147 |
| Number of pages | 29 |
| Journal | IACR Transactions on Symmetric Cryptology |
| Volume | 2026 |
| Issue number | 1 |
| DOIs | |
| State | Published - 2026 |
| Externally published | Yes |
Bibliographical note
Publisher Copyright:© 2026, Ruhr-University of Bochum. All rights reserved.
Keywords
- FRAST
- HE-friendly cipher
- stream cipher
- weak-key attack
ASJC Scopus subject areas
- Software
- Computer Science Applications
- Computational Mathematics
- Applied Mathematics
Fingerprint
Dive into the research topics of 'Cryptanalysis of TFHE-Friendly Cipher FRAST'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver