Dennis M. Volpano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1985–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | INFOCOM | Modular network function virtualization. | Dennis M. Volpano |
| 2014 | SIGCOMM | Towards systematic detection and resolution of network control conflicts. | Dennis M. Volpano, Xin Sun, Geoffrey G. Xie |
| 2014 | SP | LEGO(TM) Bricks for Reactive Programming. | Dennis M. Volpano |
| 2000 | POPL | Verifying Secrets and Relative Secrecy. | Dennis M. Volpano, Geoffrey Smith |
| 1999 | SAS | Safety versus Secrecy. | Dennis M. Volpano |
| 1998 | POPL | Secure Information Flow in a Multi-Threaded Imperative Language. | Geoffrey Smith, Dennis M. Volpano |
| 1996 | ESOP | Towards an ML-Style Polymorphic Type System for C. | Geoffrey Smith, Dennis M. Volpano |
| 1985 | ICSE | Software Templates. | Dennis M. Volpano, Richard B. Kieburtz |