POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / David Naumann

Not registered as user yet

Name: David Naumann

Affiliation: Stevens Institute of Technology

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

Contributions

SCM 2017 Can relational logic facilitate secure compilation? (Short talk)
POPL 2017 Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Show activities from other conferences

POPL 2017-profile
View general profile