Projekt

Zurück zur Übersicht

Detection of Security Flaws and Vulnerabilities by Guided Model Checking

Titel Englisch Detection of Security Flaws and Vulnerabilities by Guided Model Checking
Gesuchsteller/in Sharygina Natasha
Nummer 111687
Förderungsinstrument Projektförderung (Abt. I-III)
Forschungseinrichtung Facoltà di scienze informatiche Università della Svizzera italiana
Hochschule Università della Svizzera italiana – USI
Hauptdisziplin Informatik
Beginn/Ende 01.09.2006 - 30.09.2008
Bewilligter Betrag 170'167.00
Alle Daten anzeigen

Keywords (2)

Security; Code Verification

Verantw. Gesuchsteller/in und weitere Gesuchstellende

Mitarbeitende

Verbundene Projekte

Nummer Titel Start Förderungsinstrument
122077 Detection of Security Flaws and Vulnerabilities by Guided Model Checking - extension 01.10.2008 Projektförderung (Abt. I-III)

-