Power Contracts: Provably Complete Power Leakage Models for Processors

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2 Conference paper

Search results

  • 2021

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

    Gigerl, B., Hadzic, V., Primas, R., Mangard, S. & Bloem, R., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, p. 1469-1486 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File

  • CocoAlma: A Versatile Masking Verifier

    Hadzic, V. & Bloem, R., 9 Jul 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). p. 14-23 10 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File