Daniel Wagner

发表

Martin Hofmann, Benjamin C. Pierce, Daniel Wagner, 2011, POPL '11.

Martin Hofmann, Benjamin C. Pierce, Daniel Wagner, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Andreas Haeberlen, Adam J. Aviv, Jonathan M. Smith, 2010, EUROSEC '10.