POPL 2017 (series) / SCM 2017 (series) / Secure Compilation Meeting /
Can relational logic facilitate secure compilation? (Short talk)
Sun 15 Jan 2017 10:40 - 10:50 at Salle 109, Barre 44-54 - Session II
Can relational logic facilitate secure compilation? (scm17.pdf) | 90KiB |
Sun 15 Jan
10:30 - 10:40 Talk | Cătălin HriţcuInria Paris Link to publication | |||||||||||||||||||||||||||||||||||||||||
10:40 - 10:50 Talk | David NaumannStevens Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
10:50 - 11:00 Talk | Gabriel SchererNortheastern University File Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:10 Talk | Christine RizkallahUniversity of Pennsylvania, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
11:15 - 12:00 Talk | File Attached |