Obiettivo 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. Campo scientifico natural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencescomputer securityaccess controlnatural sciencesphysical sciencesquantum physicsnatural sciencescomputer and information sciencescomputer securitycryptographyengineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringcomputer hardwarequantum computers Parole chiave Quantum computation quantum programming languages specification verification Programma(i) FP6-MOBILITY - Human resources and Mobility in the specific programme for research, technological development and demonstration "Structuring the European Research Area" under the Sixth Framework Programme 2002-2006 Argomento(i) MOBILITY-2.2 - Marie Curie Outgoing International Fellowships (OIF) Invito a presentare proposte FP6-2002-MOBILITY-6 Vedi altri progetti per questo bando Meccanismo di finanziamento OIF - Marie Curie actions-Outgoing International Fellowships Coordinatore THE PRINCIPAL AND FELLOWS OF THE COLLEGE OF THE LADY MARGARET IN THE UNIVERSITY OF OXFORD Contributo UE Nessun dato Indirizzo Norham gardens Oxford Regno Unito Mostra sulla mappa Costo totale Nessun dato