Skip to main navigation Skip to search Skip to main content

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

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

  • 2 Conference paper

Search results

  • 2022

    Power Contracts: Provably Complete Power Leakage Models for Processors

    Bloem, R., Gigerl, B., Gourjon, M., Hadzic, V., Mangard, S. & Primas, R., 7 Nov 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 381-395 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    Open Access

  • 2021

    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