Bart van Delft

Identifiers

• name variant Bart van Delft 0.60 · backfill

Papers (3)

1. Dependency-Based Information Flow Analysis with Declassification in a Program Logic cs.LO · 2015 · author #1
2. The Anatomy and Facets of Dynamic Policies cs.CR · 2015 · author #2
3. 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