2 citations · 3 across the 3 of their papers we have counts for
4 papers
SpiderSapien: Client-Centric Web Crawler and Security Scanner
Eric Olsson, Benjamin Eriksson, Adam Doupé +1
Black-box web application crawling and scanning play an important role for security testing of web applications. Yet state-of-the-art scanners fall short of addressing key characte…
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…
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…
An Empirical Study of Information Flows in Real-World JavaScript
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu +2
Information flow analysis prevents secret or untrusted data from flowing into public or trusted sinks. Existing mechanisms cover a wide array of options, ranging from lightweight t…