BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260921T092723Z
UID:Seminar-dept-300@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20121113T160000
DTEND:20121113T170000
SUMMARY:School Seminar Series
DESCRIPTION:Prof. Rajagopal Nagarajan: Formal Methods for Quantum Information Science\n\nAbstract: The novel field of quantum computation and quantum\n\ninformation has gathered significant impetus in the last few\n\nyears, and it has the potential to radically impact the future of\n\ninformation technology. While the successful construction of a\n\nlarge-scale quantum computer may be some years away, secure\n\ncommunication involving quantum cryptography has already been\n\nimplemented, and equipment for quantum cryptography is\n\ncommercially available. The major selling point of quantum\n\ncryptography is unconditional security. But can this be guaranteed\n\nin practice? Even when protocols have been mathematically proved\n\nto be secure, it is notoriously difficult to achieve robust and\n\nreliable implementations of secure systems. Techniques based on\n\nformal verification are now widely used by industry to ensure that\n\n(classical) systems meet their specifications. In this talk, I\n\nwill give an overview of our ongoing work in using such techniques\n\nfor the modelling and analysis of quantum protocols and,\n\neventually, their implementations.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=300
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR