Stars
Experiments with Universal Composability in EasyCrypt
This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.
A tool for analyzing and transforming context-free grammars.
A collection of Aalborg University LaTeX-templates
A modern beamer theme for people at the University of Naples "Federico II" (UniNA)
Contains SlackBuilds scripts for several packages
EasyCrypt: Computer-Aided Cryptographic Proofs