Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Lai X, Massey JL. A proposal for a new block encryption standard. In: Damgård IB, editor. Workshop on the Theory and Application of Cryptographic Techniques, Springer, 1990; pp. 389–404.
2. Heinrich C. Pretty good privacy (PGP). In: Tilborg H, Jajodia S, editors. Encyclopedia of cryptography and security. Springer, 2011; pp. 955–958.
3. De Moura L, Bjørner N. Z3: an efficient SMT solver. In: Ramakrishnan CR, Rehof J, editors. International conference on tools and algorithms for the construction and analysis of systems. Springer. 2008; pp. 337–340
4. Brummayer R., Biere A. Boolector: an efficient SMT solver for bit-vectors and arrays. In: International conference on tools and algorithms for the construction and analysis of systems. Springer, 2009; pp. 174–177.
5. Dutertre B., De Moura L.. The yices SMT solver. Tool paper at http://yices.csl.sri.com/tool-paper.pdf , 2006; 2(2):1–2.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献