ERC Advanced Grant: AOC (Adversary-Oriented Computing)

Prof. Rachid Guerraoui

Abstract: The goal of this project is to contribute to building high-assurance distributed programs by introducing a new dimension for separating their concerns, as well as a matching scheme for modularly composing them within the same program. In short, the project will explore the inherent power and limitations of a novel paradigm, Adversary-Oriented Computing (AOC), according to which a distributed program is built in an incremental manner. Sub-programs, each implementing a specific strategy to cope with a given adversary (modeling a specific working condition), are designed, proved, verified, implemented, tested and debugged independently. They are then composed, possibly dynamically, as black-boxes within the same global program.
Extended Abstract.
Related Papers.

See the project on the ERC website.

This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 339539.