23 citations · 63 across the 17 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 1 cited
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Siddharth Krishna, Dennis Shasha, Thomas Wies
Concurrent separation logics have helped to significantly simplify correctness proofs for concurrent data structures. However, a recurring problem in such proofs is that data struc…
cs.CR2017★ 1 cited
The VACCINE Framework for Building DLP Systems
Yan Shvartzshnaider, Zvonimir Pavlinovic, Thomas Wies +3
Conventional Data Leakage Prevention (DLP) systems suffer from the following major drawback: Privacy policies that define what constitutes data leakage cannot be seamlessly defined…