Department of Computer Science

Aarhus University Seal
You are here: » Philipp Georg Haselwarter » Research outputs

Contact

Philipp Georg Haselwarter

1 - 2 out of 2Page size: 100
RSS feed of this list
  1. 2021
  2. Published

    SSProve : A Foundational Framework for Modular Cryptographic Proofs in Coq. / Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel et al.

    Cryptology ePrint Archive, 2021. p. 397.

    Research output: Working paper/Preprint › Preprint

  3. Published

    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. / Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel et al.

    2021 IEEE 34th Computer Security Foundations Symposium (CSF). IEEE, 2021.

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review