pith. sign in

Stefan Heule

Identifiers

  • name variant Stefan Heule 0.60 · backfill

Papers (1)

  1. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) cs.PL · 2015 · author #1

Mentions

  • 1501.04132 #1 · backfill · confidence 0.70 Stefan Heule

Frequent Coauthors