ajayeeralla
I've secured a PhD in CS from Mizzou (Columbia) and. Research interests: security protocol verification, mechanization in Coq, solving unification problems, etc
University of MissouriColumbia
Pinned Repositories
afgi
Augmented Formal Graphical Interface
ajayeeralla.github.io
About me
akiss
Tool for checking trace equivalence for security protocols
AMS
Attendance Management System
ccsa
Haskell
HaskellMonadApp
LTS
LTS: Labelled Transition System
MCF
Machine-checked proofs of Computationally Complete Symbolic Attacker (CCSA) framework
MTD
Moving Target Defense in Cloud Environment
rust-lts
An implementation of Labelled Transition System (LTS).
ajayeeralla's Repositories
ajayeeralla/HaskellMonadApp
ajayeeralla/afgi
Augmented Formal Graphical Interface
ajayeeralla/ajayeeralla.github.io
About me
ajayeeralla/BSM
Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.
ajayeeralla/ccsa
Haskell
ajayeeralla/LTS
LTS: Labelled Transition System
ajayeeralla/MCF
Machine-checked proofs of Computationally Complete Symbolic Attacker (CCSA) framework
ajayeeralla/rust-lts
An implementation of Labelled Transition System (LTS).
ajayeeralla/calculator-haskell
ajayeeralla/compSoundProofsOracleMoves
ajayeeralla/compSoundProofsWOracleMoves
ajayeeralla/cryptol-vscode-ext
A Cryptol syntax highlighting extension for VSCode.
ajayeeralla/data-ilist
ajayeeralla/differential-privacy
Google's C++ differential privacy library.
ajayeeralla/differential-privacy-library
Diffprivlib: The IBM Differential Privacy Library
ajayeeralla/emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
ajayeeralla/maude-vscode
ajayeeralla/MWS
Multi-threaded Web Server
ajayeeralla/my-shell
ajayeeralla/myMonads
ajayeeralla/prism
The main development version of the PRISM model checker.
ajayeeralla/real-or-random-auth-proofs-coq
Machine-checked proofs of secrecy and authentication using CCSA framework
ajayeeralla/rust_tutorials
ajayeeralla/SCALE-MAMBA
Repository for the SCALE-MAMBA MPC system
ajayeeralla/sql-differential-privacy
Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.
ajayeeralla/storm
A Modern Probabilistic Model Checker
ajayeeralla/swanky
A suite of rust libraries for secure multi-party computation
ajayeeralla/trans_system
Coq
ajayeeralla/Unification_ACh
We have designed and implementd an algorithm to solve a unification problem modulo ACH (Associativity, Commutativity, Homomorphism) theory.
ajayeeralla/vote_privacy_proofs