Stephen McCamant

Stephen McCamant

Associate Professor, University of Minnesota
在 cs.umn.edu 的电子邮件经过验证
被引用次数：6242
Binary analysis Symbolic execution Quantitative information flow Model counting Software-based Fault Isolation