research
∙
07/28/2023
An Introduction to Software Ecosystems
This chapter defines and presents different kinds of software ecosystems...
share
research
∙
06/08/2023
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Progress has recently been made on specifying instruction set architectu...
research
∙
12/22/2021
Security Risks of Porting C Programs to WebAssembly
WebAssembly is a compilation target for cross-platform applications that...
research
∙
11/02/2021
The Security Risk of Lacking Compiler Protection in WebAssembly
WebAssembly is increasingly used as the compilation target for cross-pla...
research
∙
06/12/2021
On the Impact of Security Vulnerabilities in the npm and RubyGems Dependency Networks
The increasing interest in open source software has led to the emergence...
research
∙
10/30/2020
Prioritising Server Bugs via Inter-process Concolic Testing
Existing approaches to automated white-box testing usually consider the ...
research
∙
12/04/2017
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications
Web programmers are often faced with several challenges in the developme...
research
∙
09/14/2017