PEPSI · Protocols enabling protection and security of Information
FP6 — Marie Curie Actions (Human Resources and Mobility)
- Duration
- 2004-11-01 → 2007-10-31
- EU contribution
- €259,492
- Participants
- 1
- Scheme
- OIF
Lines connect the coordinator with its partners. CORDIS does not always give exact coordinates for projects before 2014. These points are placed at city or country level.
Results in brief
Final Activity Report Summary - PEPSI (Protocols enabling protection and security of Information)
In the past decade quantum physics has entered computer science's world in quite an extraordinary way: quantum computers could in principle solve certain problems, such as integer factorisation and database search, much faster than standard computers (the intuition behind this speed-up is that quantum computers can efficiently perform many computations 'at once'). Furthermore, quantum communication protocols can transmit information with a degree of security much higher than standard cryptography protocols: the extra level of security is warranted by the validity of the physical laws themselves (intuitively, if an eavesdropper intercepts a quantum message, then quantum physics states that the act of reading its content will alter the message in a way that is detectable by the communicating partners, and that prevents the eavesdropper to decipher the original message). The most important achievement of this project has been to extend considerably an abstract formalism for describing and reasoning about quantum computation. Abstraction makes things easier to understand and to use: just think how easier it is nowadays to use personal computers with graphical user interfaces compared with the command-line interfaces of twenty years ago! However, it is widespread practice to treat quantum computation at an unnecessarily low level of abstraction, using for example circuit diagrams. Our formalism enables us instead to treat quantum algorithms as proper programs, raising the level of abstraction and thereby freeing us from thinking about implementation details: these are the well-established benefits of high-level programming languages. In particular, we have shown how to extend the approach of formal methods to include quantum computation. Using our formalism we can give a high-level description (a specification) of an algorithm and then derive its quantum implementation via a series of design 'refinements': we have exemplified that concept by providing a derivation of Grover's important quantum search algorithm. Also, we have addressed the important issue of faulty hardware: what happens to a quantum program when a component of the quantum computer is faulty? We have provided a simple model for faulty quantum measurements (one of the two 'building blocks' of quantum computation) and showed how to use it by modelling a faulty version of the eavesdropping mechanism of a quantum protocol and deriving efficiency bounds for that device - 83 % in our example.
Data: CORDIS, © European Union
Project objective
The PEPSI project (Protocols Enabling Protection and Security of Information) aims at studying and developing new protocols for the protection and security of information, and the corresponding theoretical tools necessary for describing and reasoning about them.Security, integrity and privacy of data are key requirements for the development of the knowledge society, as stated by the European Commission in the IST-FP6 Work Programme. In the past twenty years the cross-fertilisation between Quantum Physics and Computer Science, the so-called Quantum Information Science (QIS), has produced many remarkable advances which often solved tasks for which no classical solution was deemed feasible (e.g. perfectly secure cryptography codes, efficient factorisation of integers).However, the applicability area of QIS still remains largely unexplored, and the theoretical tools developed so far to explore QIS applications look rather in their infancy and do not seem to reflect the recent progresses of Computer Science.The project aims in particular at:- further exploring the capabilities and applications of QIS for building quantum communication protocols, in particular for the security and protection of information;- developing techniques for rigorously proving correctness s and security of quantum communication protocols, by extending existing Computer Science techniques to cope with the quantum case. Both objectives are relevant to the EU policies.Objective 1 addresses the 'solving trust and confidence' issue of the IST Thematic Priority by investigating methods for improving the security and protection of information: the possible applications include user authentication and voting (with further impact on eGovernment implementation, another issue of the IST Priority and the eEurope activity).Objective 2 might contribute to reducing the 'persistent cultural gap between computer scientists and physicists' and foster collaboration.
Original text from CORDIS.
Participants
- THE PRINCIPAL AND FELLOWS OF THE COLLEGE OF THE LADY MARGARET IN THE UNIVERSITY OF OXFORD · OXFORDCoordinatorCity levelUnited Kingdom
Links
Data: CORDIS, © European Union