2 citations · 3 across the 3 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020★ 1 cited
Data Privacy in Trigger-Action Systems
Yunang Chen, Amrita Roy Chowdhury, Ruizhe Wang +3
Trigger-action platforms (TAPs) allow users to connect independent web-based or IoT services to achieve useful automation. They provide a simple interface that helps end-users crea…
cs.LO2020★ 2 cited
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices)
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…