Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 14:00 - 14:30 at Sala VI - Session 3 Chair(s): Chung-Kil Hur

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 definition of secure compilation principles that, if met, guarantee that the compilation chain in hand never violates specific families of security properties. Still, to the best of our knowledge, no effective procedure is available to check if a compilation chain meets such requirements. Here, we outline our ongoing research inspired by translation validation, to effectively check one of those principles.

Presentation (stv_prisc19.pdf)80KiB

Sun 13 Jan

prisc-2019
14:00 - 15:30: PriSC 2019 - Session 3 at Sala VI
Chair(s): Chung-Kil HurSeoul National University
prisc-201914:00 - 14:30
Talk
Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Letterio GallettaIMT School for Advanced Studies
Pre-print File Attached
prisc-201914:30 - 15:00
Talk
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
File Attached
prisc-201915:00 - 15:30
Talk
Zilin ChenData61, CSIRO and UNSW, Matthew Di MeglioUNSW, Liam O'ConnorUNSW, Partha SusarlaData61, CSIRO, Christine RizkallahUNSW, Gabriele KellerUtrecht University