“Defining Consent and Revocation Policies“. Talk given at PrimeLife/IFIP Summer School 2010, 2-6 August 2010, Helsingborg, Sweden. [Slides available here]
“Towards a Conceptual Model for Privacy Policies“. Talk given at PrimeLife/IFIP Summer School 2010, 2-6 August 2010, Helsingborg, Sweden. [Slides available here]
“Automated Search for Quantum Secret Sharing Protocols with Graph States“. Talk given at the Third QNET Workshop 2009 on Semantics of Quantum Computation, 11 December 2009, School of Informatics, University of Edinburgh, Scotland. [Slides available here]
“Towards Integrated Policy Management for Privacy”. Talk given at W3C Workshop on Access Control Application Scenarios, 17th November 2009, Abbaye de Neumunster, Luxembourg. [Slides available here]
“Policy Refinement Checking.” Talk given at Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 09), 23-25 September 2009, Swansea University, Wales, England. [Slides available here]
“Potential and Limitations of Quantum Key Distribution: An Introduction”. Invited talk at British Computer Society, 17 September 2009, as part of BCS Security Strategic Panelon “The Future of Cryptography”. [Slides available here]
“Making Online Security Risks More Tangible”. Talk given at Web Science Conference 2009: Society Online, March 18-20, 2009, Foundation of the Hellenic World, Athens, Greece. [Slides available here]
“Ensuring Consent and Revocation: Towards a Taxonomy of Consent”. Seminar (Concurrency, Verification and Security Seminar Series), February 11, 2009, Computing Laboratory, University of Oxford, Oxford, England. [Seminar Announcement(Oxford)]
“Ensuring Consent and Revocation: Towards a Taxonomy of Consent”. Seminar (Digital Lab Seminar Series), February 4, 2009, International Digital Laboratory, University of Warwick, Coventry, England. [Seminar Announcement (WMG)]
“Verifying Quantum Secret Sharing Protocols with the Quantum Model Checker.” Talk given at the Second QNET Workshop, December 18-19, 2008, School of Informatics, University of Edinburgh, Edinburgh, Scotland. [Workshop link]
“Model Checking a Quantum Protocol: Theory, Implementation and Issues.” Talk given at the First QNET Workshop, December 10-11, 2007, The Royal Society, London, England. [Workshop link]
“QMC: A Model Checker for Quantum Systems.” Talk given at 5th Warwick Postgraduate Colloquium on Computer Science (WPCCS’07), July 3, 2007, Department of Computer Science, University of Warwick, Coventry, England. Received Best Presentation Award (and cash prize) [Slides available here]
“QMC: A Model Checker for Quantum Systems.” Invited talk given at Central European Quantum Information Processing Workshop (CEQIP’07), June 26, 2007, Valtice, Czech Republic. [Slides available here]
“On Model-Checking Exogenous Quantum Logic: Complexity Aspects and Implementation.” Algorithms and Formal Methods Seminar, January 29th, 2007, Department of Computer Science, University of Warwick, Coventry, England. [link toAlgorithms and Formal Methods Group Seminars]
“Model Checking Quantum Stabilizer Protocols.” Talk given at QNET Workshop 2006 / Qday III, December 4th, 2006, University of Glasgow, Glasgow, Scotland.
“Towards a Verification Tool for Quantum Communication Protocols.” Talk given at Scottish Theorem Proving Seminar, June 6th, 2006, University of Glasgow, Glasgow, Scotland. [This talk was supported by SymNet.]
“A Framework for Automated Verification of Quantum Cryptographic Protocols.” Talk given at BCTCS’06, April 5th, 2006, University of Swansea, Wales, England. [Slides available here]
“Model-Checking Quantum Key Distribution: Techniques and Results.” Q-Day II Workshop on Mathematical Structures in Quantum Informatics, December 8th, 2005, Institut Henri Poincare, Universite Pierre et Marie Curie, Paris, France. [Slides available here]
“An Automated Analysis of the Security of Quantum Key Distribution.” AVoCS’05 Workshop, September 13th, 2005, University of Warwick, Coventry, England. [Slides available here]
“An Automated Analysis of the Security of Quantum Key Distribution.” SecCo 2005, August 22, 2005, Stanford Court Hotel, San Francisco, California, USA. [Slides available here]
“Introduction to Quantum Cryptography.” Lecture, CS406 Research Directions in Computing course, October 2004, Department of Computer Science, University of Warwick, Coventry, England. [Slides available here]
“Quantum Gates and Circuits.” Lecture, CS406 Research Directions in Computing course, October 2004, Department of Computer Science, University of Warwick, Coventry, England. [Slides available here]
“Basics of Quantum Computation.” Lecture, CS406 Research Directions in Computing course, October 2004, Department of Computer Science, University of Warwick, Coventry, England. [Slides available here]
“Introduction to Quantum Cryptography.” Lecture, CS406 Research Directions in Computing course, October 2003, Department of Computer Science, University of Warwick, Coventry, England. [Slides available here]
“Introduction to Quantum Computation and Quantum Information.” Open Day Presentation, October 2003, University of Warwick, Coventry, England. [Slides available here]
