ERC Advanced Grant: AOC (Adversary-Oriented Computing)
Prof. Rachid Guerraoui
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.
This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 339539.