3 citations · 4 across the 2 of their papers we have counts for
3 papers · 1 filter
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is t…
Translation Validation for Security Properties
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Secure compilation aims to build compilation chains that preserve security properties when translating programs from a source to a target language. Recent research led to the defin…
Using Standard Typing Algorithms Incrementally
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of p…