My research work is aimed at formal verification of security protocols and frameworks. I’m currently working with Higher Order Logic, Isabelle (theorem prover), Z Notation, ZETA and other tools that fall in this domain. This page is currently about the learning process that I’m following. Eventually, inshaallah, it should have material related to my research work.
Update: I no longer work actively on Isabelle or Z but I still keep in touch.