ajayeeralla

HaskellMonadApp

afgi

Augmented Formal Graphical Interface

ajayeeralla.github.io

About me

BSM

Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.

ccsa

Haskell

LTS

LTS: Labelled Transition System

MCF

Machine-checked proofs of Computationally Complete Symbolic Attacker (CCSA) framework

rust-lts

An implementation of Labelled Transition System (LTS).

calculator-haskell

compSoundProofsOracleMoves

compSoundProofsWOracleMoves

cryptol-vscode-ext

A Cryptol syntax highlighting extension for VSCode.

data-ilist

differential-privacy

Google's C++ differential privacy library.

differential-privacy-library

Diffprivlib: The IBM Differential Privacy Library

emp-ot

Oblivious Transfer, Oblivious Transfer Extension and Variations

maude-vscode

MWS

Multi-threaded Web Server

my-shell

myMonads

prism

The main development version of the PRISM model checker.

real-or-random-auth-proofs-coq

Machine-checked proofs of secrecy and authentication using CCSA framework

rust_tutorials

SCALE-MAMBA

Repository for the SCALE-MAMBA MPC system

sql-differential-privacy

Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.

storm

A Modern Probabilistic Model Checker

swanky

A suite of rust libraries for secure multi-party computation

trans_system

Coq

Unification_ACh

We have designed and implementd an algorithm to solve a unification problem modulo ACH (Associativity, Commutativity, Homomorphism) theory.

vote_privacy_proofs