Current Research Projects
Rewriting Logic Semantics of Orc
Orc is a theory of orchestration of services. It was proposed by J. Misra to model Internet-like, wide-area computations. In this project, I have been investigating the real-time operational semantics of Orc within the rewriting logic formalism, using Maude. The project aims at building an efficient formal analysis and verification environment for Orc programs.
Probabilistic Modeling and Analysis of DoS Counter Measures
The probabilistic analysis and model-checking of the Adaptive Selective Verification protocol, a currency-based, DoS-resistant protocol, using PMaude and VESTA.
MProlog
The project studies the formal semantics of Prolog, a representative logic programming language, in rewriting logic. See the MProlog page for more details.
Previous Research Projects
Identity-Based Message Key Distribution
The project investigates the feasibiltiy of applying identity-based encryption techniques to messaging to minimize the need for long-lived keys.
TCIP: Trustworthy Cyber Infrastructure for the Power Grid
I was involved in researching different techniques and tools of distributed web policy specification and verification, and distributed access control mechanisms.