Pinned Loading

1. EasyTeach EasyTeach Public

   Examples for EasyCrypt Lectures

   eC 23 5

2. Forlan Forlan Public

   The Forlan Project consists of a toolset (called Forlan) for experimenting with formal languages, a graphical editor for Forlan automata and trees called JForlan, and a draft textbook entitled Form…

   TeX 7

3. PCR PCR Public

   EasyCrypt Security Proof of Private Count Retrieval (PCR) Protocol

   eC 1

4. easyuc/EasyUC easyuc/EasyUC Public

   Experiments with Universal Composability in EasyCrypt

   OCaml 32 1

5. EasyCrypt/easycrypt EasyCrypt/easycrypt Public

   EasyCrypt: Computer-Aided Cryptographic Proofs

   OCaml 326 50

6. AlgorithmicBounds AlgorithmicBounds Public

   This repository contains a general EasyCrypt framework for expressing computational problems in the query model, and for proving worst case lower bounds for computational problems using the adversa…

   eC 1