Past Projects:
Formal Probabilistic Analysis in HOL
Projects
Information-Theoretic Analysis using Theorem Proving
Formal Probabilistic Analysis of Wireless Sensors in HOL
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
Formalization of Continuous Time Markov Chains with Applications in Queuing Theory
Formalization of Normal Random Variables
Formalization of the M/M/1 Queue in HOL
Formal Markov Chain Analysis Using HOL Theorem Prover
Probabilistic Analysis in the HOL Theorem Prover
Analog and Mixed Signal
Projects
Analog and Mixed Signal Designs Verification
Formal Verification of Optical Systems
Projects
Formal Verification of Optical Systems
Probabilistic Analysis in the HOL Theorem Prover
Projects
Probabilistic Analysis in the HOL Theorem Prover
Formal Verification of Cloud Systems
Projects
Formal Verification of Cloud Systems
Verification of Group key management protocols
Projects
Verification of Group key management protocols
IP watermarking Security Techniques
Projects
IP watermarking Security Techniques
Verification of DSP Desgins in HOL
Projects
Verification of DSP Desgins in HOL
SystemC Verification
Projects
SystemC Verification