16 citations · 24 across the 7 of their papers we have counts for
5 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…
Event-driven Adaptation in COP
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the conte…
Typing Context-Dependent Behavioural Variation
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta +1
Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs…