Secure Multi-Execution Through Static Program Transformation.
FMOODS/FORTE（2012）
关键词
SME execution,original program,program transformation,Agda proof assistant,associated security level,security level,usual sense,dynamic code evaluation,dynamic technique,output operations w,secure multi-execution,static program transformation
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要