Michael R. Clarkson 人物
相关论文查看全部 (4)
Civitas: Toward a Secure Voting System
2008Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy引用 402
Hyperproperties
2010Journal of Computer Security引用 397
Polyglot: An Extensible Compiler Framework for Java
2003Lecture notes in computer science引用 378
Temporal Logics for Hyperproperties
2014Lecture notes in computer science引用 271
相关公司查看全部 (2)
George Washington UniversityUNIVERSITY
Cornell UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据