3 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
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…