Not registered as user yet

Name: David Naumann

Affiliation: Stevens Institute of Technology

Personal website: http://www.cs.stevens.edu/~naumann/

POPL 2017 Activities

• Presenter of Can relational logic facilitate secure compilation? (Short talk) within the SCM-track in SCM 2017
• Author of Hypercollecting Semantics and its Application to Static Analysis of Information Flow within the POPL-track in POPL 2017
• Show activities from other conferences