Giters
Alley Stoughton (alleystoughton)

alleystoughton

Geek Repo

18

followers

0

following

0

stars

Company:Boston University

Location:Jamaica Plain, MA, USA

Home Page:alleystoughton.us

Github PK Tool:Github PK Tool

Organizations
EasyCrypt

Alley Stoughton's repositories

EasyTeach

Examples for EasyCrypt Lectures

Language:eCStargazers:21Issues:3Issues:0

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:TeXStargazers:7Issues:2Issues:0

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:eCStargazers:1Issues:0Issues:0

PCR

EasyCrypt Security Proof of Private Count Retrieval (PCR) Protocol

Language:eCStargazers:1Issues:0Issues:0

battleship

Secure Battleship Implementations in Concurrent ML and Haskell/LIO

Language:HTMLStargazers:0Issues:0Issues:0

EasyMisc

Miscellaneous EasyCrypt Developments

Language:eCStargazers:0Issues:0Issues:0

SMLNJtrans

A Standard ML Program for Generating SML/NJ Transcripts in LaTeX

Language:Standard MLStargazers:0Issues:0Issues:0