22 citations · 23 across the 3 of their papers we have counts for
3 papers
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Sander Huyghebaert, Steven Keuchel, Coen De Roover +1
Progress has recently been made on specifying instruction set architectures (ISAs) in executable formalisms rather than through prose. However, to date, those formal specifications…
Security Risks of Porting C Programs to WebAssembly
Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
WebAssembly is a compilation target for cross-platform applications that is increasingly being used. In this paper, we investigate whether one can transparently cross-compile C pro…
On the Impact of Security Vulnerabilities in the npm and RubyGems Dependency Networks
Ahmed Zerouali, Tom Mens, Alexandre Decan +1
The increasing interest in open source software has led to the emergence of large language-specific package distributions of reusable software libraries, such as npm and RubyGems.…