STP/HAMPI与计算机安全
密码学与安全
2012-04-16 v1 计算机科学中的逻辑
摘要
在过去的几年里，我编写了两个SMT求解器，名为STP和HAMPI，它们在学术界、工业界和政府的主要团队的计算机安全研究中得到了广泛应用。在这篇简短的笔记中，我总结了STP/HAMPI使其特别适合计算机安全研究的特性，并列出了一些使用它们的重要项目。
引用
@article{arxiv.1204.2989,
title = {STP/HAMPI and Computer Security},
author = {Vijay Ganesh},
journal= {arXiv preprint arXiv:1204.2989},
year = {2012}
}