Symbolic execution; Exploit generation; Processor security;
机译:自动化端到端客户网络设计流程
机译:利用设计模式自动验证类不变式
机译:多核SSL / TLS安全处理器体系结构及其具有自动优先算法的FPGA原型设计
机译:端到端自动漏洞利用生成,用于验证处理器设计的安全性
机译:对硬件设计的自动安全验证
机译:自动假设生成以识别哺乳动物细胞和组织生物过程中相关的信号在视网膜培养系统中验证
机译:利用设计模式 自动验证类\ ud 不变量