Project

Back to overview

Detection of Security Flaws and Vulnerabilities by Guided Model Checking

English title Detection of Security Flaws and Vulnerabilities by Guided Model Checking
Applicant Sharygina Natasha
Number 111687
Funding scheme Project funding (Div. I-III)
Research institution Istituto del Software (SI) Facoltà di scienze informatiche
Institution of higher education Università della Svizzera italiana - USI
Main discipline Information Technology
Start/End 01.09.2006 - 30.09.2008
Approved amount 170'167.00
Show all

Keywords (2)

Security; Code Verification

Responsible applicant and co-applicants

Employees

Associated projects

Number Title Start Funding scheme
122077 Detection of Security Flaws and Vulnerabilities by Guided Model Checking - extension 01.10.2008 Project funding (Div. I-III)

-