research
∙
12/10/2020
Data Privacy in Trigger-Action IoT Systems
Trigger-action platforms (TAPs) allow users to connect independent IoT o...
share
research
∙
01/30/2020
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices)
Methods for proving that concurrent software does not leak its secrets h...
research
∙
06/27/2019
