Proof-Carrying Services (B04)

• Subject Area: Software Engineering and Programming Languages ; Computer Architecture, Embedded and Massively Parallel Systems ; Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2011 to 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 160364472

This subproject deals with the research of quality assurance measures for single services procured in on-the-fly markets. The measures serve to secure the properties of services promised by providers. The goal is to develop methods and concepts that enable the provider to provide proof of the desired functionality of its services, and enable the user to quickly verify this proof. In the third funding phase, besides others, the project will research a certification process for hyper-properties (required for security properties), PCH certified security for reconfigurable hardware, as well as hierarchical analysis and proof reuse.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 901: On-The-Fly (OTF) Computing - Individualised IT-Services in Dynamic Markets
• Applicant Institution: Universität Paderborn
• Project Heads: Professor Dr. Eric Bodden, since 4/2017; Professor Dr. Marco Platzner; Professorin Dr. Heike Wehrheim