23 citations · 63 across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016
Error Invariants for Concurrent Traces
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei +2
Error invariants are assertions that over-approximate the reachable program states at a given position in an error trace while only capturing states that will still lead to failure…
cs.CY2016★ 2 cited
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…