2 citations · 3 across the 3 of their papers we have counts for
1 paper · 2 filters
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
Methods for proving that concurrent software does not leak its secrets has remained an active topic of research for at least the past four decades. Despite an impressive array of w…