Name: Ajay Kumar Eeralla
Type: User
Company: University of Missouri
Bio: I've secured a PhD in CS from Mizzou (Columbia) and. Research interests: security protocol verification, mechanization in Coq, solving unification problems, etc
Location: Columbia
Ajay Kumar Eeralla's Projects
Augmented Formal Graphical Interface
About me
Tool for checking trace equivalence for security protocols
Attendance Management System
Body Mass Index
Basic Syntactic Mutation (BSM) is a mutation based unification algorithm for the theories that are saturated by paramodulation.
Haskell
A Pascal-like compiler
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Cryptol: The Language of Cryptography
Semantics for Cryptol
A central repository for specifications of cryptographic algorithms in Cryptol
A Cryptol syntax highlighting extension for VSCode.
Google's C++ differential privacy library.
Diffprivlib: The IBM Differential Privacy Library
Oblivious Transfer, Oblivious Transfer Extension and Variations
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Floodlight SDN OpenFlow Controller
IP-XACT XML binding library
Graduate School LaTeX templates for Lab rotation proposal + report, OIST beamer and Thesis + thesis proposal
LTS: Labelled Transition System
Machine-checked proofs of Computationally Complete Symbolic Attacker (CCSA) framework
Massive Open Online Course