Citation Impact
Citing Papers
AdJail: practical enforcement of confidentiality and integrity policies on web advertisements
2010
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
2016
FlowFox
2012
A Formal Analysis of 5G Authentication
2018 Standout
AdSentry
2011
Digital twin paradigm: A systematic literature review
2021 Standout
You are what you include
2012 Standout
DT-II:Digital twin enhanced Industrial Internet reference framework towards smart manufacturing
2019
Works of Sergio Maffeis being referenced
Object Capabilities and Isolation of Untrusted Web Applications
2010
CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research
2018
Language-Based Isolation of Untrusted JavaScript
2009
Refinement types for secure implementations
2011