Andrei Sabelfeld | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Michael Pradel
26 publications
Toby Murray
16 publications
Earlence Fernandes
15 publications
Amrita Roy Chowdhury
11 publications
Ruizhe Wang
9 publications
Rahul Chatterjee
7 publications
Cristian-Alexandru Staicu
7 publications
Musard Balliu
6 publications
Yunang Chen
2 publications
Daniel Schoepe
2 publications

research

∙ 12/10/2020

Data Privacy in Trigger-Action IoT Systems

Trigger-action platforms (TAPs) allow users to connect independent IoT o...

0 Yunang Chen, et al. ∙

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...

0 Daniel Schoepe, et al. ∙

research

∙ 06/27/2019

An Empirical Study of Information Flows in Real-World JavaScript

Information flow analysis prevents secret or untrusted data from flowing...

0 Cristian-Alexandru Staicu, et al. ∙