| 2023 | ACNS | Formal Verification of Arithmetic Masking in Hardware and Software. | Barbara Gigerl, Robert Primas, Stefan Mangard |
| 2023 | AsiaCCS | Secure Context Switching of Masked Software Implementations. | Barbara Gigerl, Robert Primas, Stefan Mangard |
| 2022 | CCS | Power Contracts: Provably Complete Power Leakage Models for Processors. | Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas |
| 2022 | CCS | Leakage and Tamper Resilient Permutation-Based Cryptography. | Christoph Dobraunig, Bart Mennink, Robert Primas |
| 2021 | ASIACRYPT | Secure and Efficient Software Masking on Superscalar Pipelined Processors. | Barbara Gigerl, Robert Primas, Stefan Mangard |
| 2021 | ATVA | Proving SIFA Protection of Masked Redundant Circuits. | Vedad Hadzic, Robert Primas, Roderick Bloem |
| 2020 | CARDIS | A Fast and Compact RISC-V Accelerator for Ascon and Friends. | Stefan Steinegger, Robert Primas |
| 2018 | ASIACRYPT | Statistical Ineffective Fault Attacks on Masked AES with Fault Countermeasures. | Christoph Dobraunig, Maria Eichlseder, Hannes Gro, Stefan Mangard, Florian Mendel, Robert Primas |
| 2017 | CHES | Single-Trace Side-Channel Attacks on Masked Lattice-Based Encryption. | Robert Primas, Peter Pessl, Stefan Mangard |