1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2020
Data Flow Refinement Type Inference
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Refinement types enable lightweight verification of functional programs. Algorithms for statically inferring refinement types typically work by reduction to solving systems of cons…
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…