EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

  • Tögl, Ronald, (Teilnehmer (Co-Investigator))
  • Könighofer, Robert, (Teilnehmer (Co-Investigator))
  • Bloem, Roderick (Projektleiter (Principal Investigator))

Projekt: Foschungsprojekt

Projektdetails

Beschreibung

STANCE is a multi-disciplinary initiative with the objective of driving scientific and technological breakthroughs in the domain of software security. Over three years, STANCE will define, implement and validate a set of program analysis tools capable of verifying the security of complex software systems made in C, C++ and Java. STANCE proposes to build on existing assets: formal methods, state-of-the-art static and dynamic program analysis tools, security evaluation expertise, and industry-specific knowledge will be used and significantly extended. The resulting program analysis toolbox and supporting methods will increase the trustworthiness and the cost-effectiveness of existing security-oriented processes. These innovations will durably alter the domain of software security assurance, with broad consequences on its legal, societal, and economic aspects.
StatusAbschlussdatum
Tatsächlicher Beginn/ -es Ende1/10/1230/09/15

Publikationen

  • 12 Beitrag in einem Konferenzband
  • 1 Sonstiger Bericht
  • 1 Dissertation

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

Bloem, R. P., Chatterjee, K., Jacobs, S. & Könighofer, R., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, Band 9035. S. 517-532 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Open Access
Datei

Cooperative Reactive Synthesis

Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, Band 9364. S. 394-410 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Open Access
Datei

Demiurge 1.2.0: A SAT-Based Synthesis Tool

Könighofer, R. & Seidl, M., 2015, .

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Open Access
Datei