Fri, April 11, 3:15 PM
60 MINUTES
Language-Based Security and Privacy in Web-Driven Systems

Language-based security applies programming language techniques to provide rigorous security and privacy guarantees across computer systems. In this talk, we focus on securing web-driven systems that heavily rely on third-party code, specifically Trigger-Action Platforms (TAPs) and browser extensions. Both increasingly popular systems empower users to develop and publish apps that enhance digital lives through smart automation and personalized web browsing, respectively. We review vulnerabilities identitifed in popular TAP apps and how to prevent malicious behavior by sandboxing and fine-grained access control. To minimize data access for TAPs with user-configured apps, we also present a construction-by-design paradigm for on-demand data minimization using lazy computation. Besides access control and minimization, we study how sensitive information is processed once access is granted, using information-flow analysis. We discuss privacy risks in browser extensions, such as exfiltration of cookies and browsing history over the network. We present a static analysis framework to track flows from user-sensitive data to network requests in browser extensions.

Mohammad M. Ahmadpanah

Postdoctoral Researcher (Information Security) @ KTH

Mohammad M. Ahmadpanah is a postdoctoral researcher in Information Security at KTH in Sweden. Before joining KTH in January 2025, he was a postdoctoral researcher at Chalmers, where he also completed his PhD under the supervision of Andrei Sabelfeld and Daniel Hedin in August 2024. Earlier in his academic journey, he spent 8 years at Amirkabir (BSc in Software Engineering, MSc in Information Security, and PhD candidate in Software Engineering), all supervised by Mehran S. Fallah. His main research interests are: Language-Based Security, Web Security, Information-Flow Security, Program Analysis, and Formal Methods.