为常时间策略提供安全推测的形式化处理器模型


一篇题为“前景:可证明的安全投机恒定时间政策(扩展版)”的技术论文由imec-DistriNet在KU Leuven, CEA, List, Université Paris Saclay和INRIA的研究人员发表。摘要:“我们提出了ProSpeCT,一个通用的形式化处理器模型,为常数时间策略提供可证明的安全推测。对于常数时间的程序,在没有…»阅读更多

Baidu