...
机译:关于虚拟化执行平台的系统级信息流属性的验证
Ericsson Research Security Kista Sweden;
RISE SICS Kista Sweden;
KTH Royal Institute of Technology Stockholm Sweden;
Decomposition; SoC; Information flow security; Formal verification; Hypervisor; ARMv8;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:虚拟平台的混合原型框架以中心为中心的设计和验证流程
机译:在混合ARM-FPGA平台上虚拟执行和执行硬件任务
机译:使用符号执行来验证固件的信息流属性
机译:现代应用平台中的信息流控制:建模,正式验证和控制的解密
机译:虚拟距离方法学作为基于电容传感器的索引计量平台的AACMM的验证技术
机译:嵌入式执行平台的安全属性的组成验证