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.

Integrated LaTeX Editing Environment

A Raspberry Pi Pico Emulator in JavaScript

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)

Examples for EasyCrypt Lectures

Contains SlackBuilds scripts for several packages

EasyCrypt: Computer-Aided Cryptographic Proofs

Binary analysis in HOL

Command line interface to the X11 clipboard