Research Program
New Software and Platforms
New Results
- Type Abstraction for Relaxed Noninterference
- Multiparty Reactive Sessions
- Multiparty Reversible Sessions
- JavaScript ahead-of-time compilation
- Orchestration of Web applications
- On the Content Security Policy Violations due to the Same-Origin Policy
- Control What You Include! Server-Side Protection Against Third Party Web Tracking
- A Better Facet of Dynamic Information Flow Control
- Impossibility of Precise and Sound Termination Sensitive Security Enforcements
- BELL: Browser fingerprinting via Extensions and Login-Leaks
- Large-scale measurement of invisible images for Web tracking
Partnerships and Cooperations
Bibliography