1 citations · 2 across the 2 of their papers we have counts for
3 papers
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…
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…
Crowdsourced, Actionable and Verifiable Contextual Informational Norms
Yan Shvartzshnaider, Schrasing Tong, Thomas Wies +4
There is often a fundamental mismatch between programmable privacy frameworks, on the one hand, and the ever shifting privacy expectations of computer system users, on the other ha…