Citation Impact
Citing Papers
Software-Defined Networking: A Comprehensive Survey
2014 Standout
Static Analysis for the π-Calculus with Applications to Security
2001
Model checking security properties of control flow graphs
2001
Language-based information-flow security
2003 Standout
Data Center Network Virtualization: A Survey
2012
You are what you include
2012 Standout
Lightweight self-protecting JavaScript
2009
A Survey on Mobile Edge Computing: The Communication Perspective
2017 Standout
Model-based evaluation: from dependability to security
2004 Standout
Works of Mads Dam being referenced
Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
1997
Provably correct runtime monitoring
2009
Model Checking Mobile Processes
1996
Robust monitoring of network-wide aggregates through gossiping
2009