Author Info
Name
Affiliation
Papers
MICHAEL HICKS
University of Maryland, College Park, College Park, MD, USA
6
Collaborators
Citations 
PageRank 
17
16
2.39
Referers 
Referees 
References 
54
143
59
Search Limit
100143
Title
Citations
PageRank
Year
Formal Verification vs. Quantum Uncertainty.00.342019
Achieving Safety Incrementally with Checked C.30.412019
Checked C: Making C Safe by Extension20.382018
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.20.362018
What's the Over/Under? Probabilistic Bounds on Information Leakage.00.342018
Knowledge inference for optimizing secure multi-party computation90.572013