Sound-Proof was accepted for publication at Usenix Security 2015! Nikos did a very good job at presenting it and answering very interesting questions from the attendees.
Find out more about the publication and the presentation over at the Usenix website.