Skip to main content

Program Analysis for Safe and Secure Software Evolution

Project description

Taking software engineering to a new, safer level

Software systems, which have experienced increased interest on a global scale, are constantly evolving. This continuous evolution stems from the introduction of new features, the fixing of bugs and security vulnerabilities, and the need to adapt to new hardware and platforms. However, despite the immense benefits that come with this constant improvement, software evolution is also prone to introduce bugs and security problems. The EU-funded PASS project will tackle this challenge. By taking a holistic approach, the project will assist software in evolving safely and securely by testing and verifying changes in a scalable way and designing techniques for in-production analysis of software updates.

Host institution

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
Net EU contribution
€ 1 955 129,00
Address
South Kensington Campus Exhibition Road
SW7 2AZ London
United Kingdom

See on map

Region
London Inner London — West Westminster
Activity type
Higher or Secondary Education Establishments
Other funding
€ 1 955 129,00

Beneficiaries (1)

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom
Net EU contribution
€ 1 955 129,00
Address
South Kensington Campus Exhibition Road
SW7 2AZ London

See on map

Region
London Inner London — West Westminster
Activity type
Higher or Secondary Education Establishments
Other funding
€ 1 955 129,00