About
Publications

About

Welcome to my site! :D I finished my PhD in June 2024 in the Secure Systems group at the Institute of Applied Information Processing and Communications at Graz University of Technology. My research interests include side-channel analysis on secure systems, especially power-analysis attacks and countermeasures. I am also interested in verification of hardware designs.

I obtained my Bachelor and Master's degrees in Computer Science as and Software Engineering and Management from Graz University of Technology.

Publications

Efficient and Secure Masking Schemes to Counteract Power Analysis Attacks in Practice.

Barbara Gigerl

PhD Thesis

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

CHES 2024

Secure Context Switching of Masked Software Implementations.

Barbara Gigerl, Robert Primas, Stefan Mangard

AsiaCCS 2023

Formal Verification of Arithmetic Masking in Hardware and Software.

Barbara Gigerl, Robert Primas, Stefan Mangard

ACNS 2023

Riding the Waves Towards Generic Single-Cycle Masking in Hardware.

Rishub Nagpal, Barbara Gigerl, Robert Primas, Stefan Mangard

CHES 2022

Power Contracts: Provably Complete Power Leakage Models for Processors.

Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas

CCS 2022

Secure and Efficient Software Masking on Superscalar Pipelined Processors

Barbara Gigerl, Robert Primas, Stefan Mangard

ASIACRYPT 2021

Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs

Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem

USENIX Security Symposium 2021

Utility of Transfer Entropy for the Extraction of Influence Networks

Barbara Gigerl

Master Thesis

Automated Analysis of Speculation Windows in Spectre Attacks

Barbara Gigerl

Master Thesis