Richard Bubel

Identifiers

• name variant Richard Bubel 0.60 · backfill

Papers (1)

1. Dependency-Based Information Flow Analysis with Declassification in a Program Logic cs.LO · 2015 · author #2

Mentions

• 1509.04153 #2 · backfill · confidence 0.70 Richard Bubel

Frequent Coauthors

• Bart van Delft 1 shared papers