Boolean Polynomials, BDDs and CRHS Equations - Connecting the Dots with CryptaPath. - John Petter Indrøy; Nicolas Costes 002; Håvard Raddum (SAC, 2020)

FASTA â" a stream cipher for fast FHE evaluation. - Carlos Cid; John Petter Indrøy; Håvard Raddum (IACR Cryptol. ePrint Arch., 2021)

Trail Search with CRHS Equations. - John Petter Indrøy; Håvard Raddum (IACR Cryptol. ePrint Arch., 2021)