Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. - Barbara Gigerl; Vedad Hadzic; Robert Primas; Stefan Mangard; Roderick Bloem (IACR Cryptol. ePrint Arch., 2020)

Secure and Efficient Software Masking on Superscalar Pipelined Processors. - Barbara Gigerl; Robert Primas; Stefan Mangard (IACR Cryptol. ePrint Arch., 2021)

Power Contracts: Provably Complete Power Leakage Models for Processors. - Roderick Bloem; Barbara Gigerl; Marc Gourjon; Vedad Hadzic; Stefan Mangard; Robert Primas (IACR Cryptol. ePrint Arch., 2022)

Formal Verification of Arithmetic Masking in Hardware and Software. - Barbara Gigerl; Robert Primas; Stefan Mangard (IACR Cryptol. ePrint Arch., 2022)

Riding the Waves Towards Generic Single-Cycle Masking in Hardware. - Rishub Nagpal; Barbara Gigerl; Robert Primas; Stefan Mangard (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)

Compress: Reducing Area and Latency of Masked Pipelined Circuits. - Gaëtan Cassiers; Barbara Gigerl; Stefan Mangard; Charles Momin; Rishub Nagpal (IACR Cryptol. ePrint Arch., 2023)

Secure Context Switching of Masked Software Implementations. - Barbara Gigerl; Robert Primas; Stefan Mangard (IACR Cryptol. ePrint Arch., 2023)

Security Aspects of Masking on FPGAs. - Barbara Gigerl; Kevin Pretterhofer; Stefan Mangard (HOST, 2024)

Efficient Second-Order Masked Software Implementations of Ascon in Theory and Practice. - Barbara Gigerl; Florian Mendel; Martin Schläffer; Robert Primas (IACR Cryptol. ePrint Arch., 2024)

Compress: Generate Small and Fast Masked Pipelined Circuits. - Gaëtan Cassiers; Barbara Gigerl; Stefan Mangard; Charles Momin; Rishub Nagpal (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Smooth Passage with the Guards: Second-Order Hardware Masking of the AES with Low Randomness and Low Latency. - Barbara Gigerl; Franz Klug; Stefan Mangard; Florian Mendel; Robert Primas (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)