Formal verification of arithmetic masking in hardware and software

DOI10.1007/978-3-031-33488-7_1zbMath1540.68131MaRDI QIDQ6535070

Barbara Gigerl, Stefan Mangard, Robert Primas

Publication date: 9 November 2023

zbMATH Keywords

formal verificationside-channel attacksarithmetic masking

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

This page was built for publication: Formal verification of arithmetic masking in hardware and software