alleystoughton

research computer scientist applying formal methods to cryptography and security

Boston UniversityJamaica Plain, MA, USA

Pinned Repositories

AlgorithmicBounds
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 adversarial method (adversary arguments), and proving worst case upper bounds for algorithms solving the computational problems.
Language:eC10
battleship
Secure Battleship Implementations in Concurrent ML and Haskell/LIO
Language:HTML00
EasyMisc
Miscellaneous EasyCrypt Developments
Language:eC00
EasyTeach
Examples for EasyCrypt Lectures
Language:eC21 3 04
Forlan
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 Formal Language Theory: Integrating Experimentation and Proof.
Language:TeX7 2 00
PCR
EasyCrypt Security Proof of Private Count Retrieval (PCR) Protocol
Language:eC10
SMLNJtrans
A Standard ML Program for Generating SML/NJ Transcripts in LaTeX
Language:Standard ML00
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml292 22 22645
easycrypt-doc
EasyCrypt documentation
Language:TeX7 24 05
EasyUC
Experiments with Universal Composability in EasyCrypt
Language:OCaml29 3 521

alleystoughton/EasyTeach
Examples for EasyCrypt Lectures
Language:eC21 3 04
alleystoughton/Forlan
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 Formal Language Theory: Integrating Experimentation and Proof.
Language:TeX7 2 00
alleystoughton/AlgorithmicBounds
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 adversarial method (adversary arguments), and proving worst case upper bounds for algorithms solving the computational problems.
Language:eC10
alleystoughton/PCR
EasyCrypt Security Proof of Private Count Retrieval (PCR) Protocol
Language:eC10
alleystoughton/battleship
Secure Battleship Implementations in Concurrent ML and Haskell/LIO
Language:HTML00
alleystoughton/EasyMisc
Miscellaneous EasyCrypt Developments
Language:eC00
alleystoughton/SMLNJtrans
A Standard ML Program for Generating SML/NJ Transcripts in LaTeX
Language:Standard ML00