Hyperproperties
2010 · Journal of Computer Security · 394 citations
https://doi.org/10.3233/jcs-2009-0393
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
35
Papers
2.2K
Citations
16
h-index
18
i10-index
Michael R. Clarkson is an academic researcher from Cornell University. The author has contributed to research in topics: Security and Verification in Computing & Advanced Malware Detection Techniques & Cryptography and Data Security. The author has an h-index of 16, co-authored 30 publications.
Click to start Chat