Talk in AVoCS 2008 Glasgow ( PDF)
Talk in BCTCS 2007 at St. Anne's College(Oxford University), Oxford ( PDF)
My two 90-minutes talks on Catgory Theory in Hauptseminar ( PDF )
My slides on How To Prove it
Master's Thesis presentation slides on Authentification Protocol ( pdf format)&
Secure Information Flow ( pdf format)&
ATD(Abstract Timing Diagrams) slides-> (for now click this)
Some slides and photos are available in my current project diary .
Email id: csgs AT swansea DOT ac DOT uk