Author Info
Name
Affiliation
Papers
STEPHEN MAGILL
IDA Center for Computing Sciences, Bowie, MD, USA
5
Collaborators
Citations 
PageRank 
15
83
3.54
Referers 
Referees 
References 
218
157
87
Search Limit
100218
Title
Citations
PageRank
Year
What's the Over/Under? Probabilistic Bounds on Information Leakage.00.342018
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation160.632013
Specifying and verifying the correctness of dynamic software updates331.082012
Automating object transformations for dynamic software updating100.562012
Dynamic Enforcement of Knowledge-Based Security Policies240.922011