Bart van Delft
Identifiers
- name variant Bart van Delft 0.60 · backfill
Papers (3)
- Dependency-Based Information Flow Analysis with Declassification in a Program Logic cs.LO · 2015 · author #1
- The Anatomy and Facets of Dynamic Policies cs.CR · 2015 · author #2
- Very Static Enforcement of Dynamic Policies cs.CR · 2015 · author #1
Mentions
- 1509.04153 #1 · backfill · confidence 0.70 Bart van Delft
- 1505.02021 #2 · backfill · confidence 0.70 Bart van Delft
- 1501.02633 #1 · backfill · confidence 0.70 Bart van Delft
Frequent Coauthors
- David Sands 2 shared papers
- Niklas Broberg 1 shared papers
- Richard Bubel 1 shared papers
- Sebastian Hunt 1 shared papers