Provable Security of Communication for Protecting Information Flow in Distributed Systems.

摘要

This report includes a detailed summary of the highlights of the research project during the final year of funding as well as a complete report on the publications and results produced during the entire duration of the project (four journal papers and 24 conference publications). There are also three research papers under review and two in preparation, which are not listed in this report.