2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
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…