The HOPR project aims at investigating logical and semantical frameworks to reason on computation including higher-order, probabilistic and resource-bounded aspects. It explores applications to cryptography and to differential privacy.

Project ANR-24-CE48-5521-01. Start date: 1/1/2025. Duration: 48 months