Confidential computing for OpenPOWER
Guerney D. H. Hunt, Ramachandra Pai, et al.
EuroSys 2021
We present practical attacks on OCB2. This mode of operation of a blockcipher was designed with the aim to provide particularly efficient and provably secure authenticated encryption services, and since its proposal about 15 years ago it belongs to the top performers in this realm. OCB2 was included in an ISO standard in 2009. An internal building block of OCB2 is the tweakable blockcipher obtained by operating a regular blockcipher in XEX ∗ mode. The latter provides security only when evaluated in accordance with certain technical restrictions that, as we note, are not always respected by OCB2. This leads to devastating attacks against OCB2’s security promises: We develop a range of very practical attacks that, amongst others, demonstrate universal forgeries and full plaintext recovery. We complete our report with proposals for (provably) repairing OCB2. As a direct consequence of our findings, OCB2 is currently in a process of removal from ISO standards. Our attacks do not apply to OCB1 and OCB3, and our privacy attacks on OCB2 require an active adversary.
Guerney D. H. Hunt, Ramachandra Pai, et al.
EuroSys 2021
Julia Hesse, Nitin Singh, et al.
USENIX Security 2023
Christopher Battarbee, Giacomo Borin, et al.
AsiaCrypt 2024
Francesca Falzon, Kaoutar El Khiyaoui, et al.
CCS 2023