Hai Lin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
CryptoSolve: towards a tool for the symbolic analysis of cryptographic algorithms (available as arXiv preprint)	2024-02-08	Paper
CryptoSolve: towards a tool for the symbolic analysis of cryptographic algorithms	2024-02-08	Paper
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems	2022-03-24	Paper
Encoding first order proofs in SMT Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
M2-M5 systems in \(\mathcal N = 6\) Chern-Simons theory Journal of High Energy Physics	2012-08-26	Paper
Unification modulo homomorphic encryption Journal of Automated Reasoning	2012-07-17	Paper
Possibilistic extension rules for reasoning and knowledge compilation Journal of Software	2011-09-29	Paper
Solving \#SAT using extension rules Journal of Software	2010-11-05	Paper
Unification modulo homomorphic encryption Frontiers of Combining Systems	2010-01-07	Paper
Encoding First Order Proofs in SAT Automated Deduction – CADE-21	2009-03-06	Paper
Protocol Verification Via Rigid/Flexible Resolution Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
Theorem proving based on the extension rule Journal of Automated Reasoning	2004-05-27	Paper

Research outcomes over time

This page was built for person: Hai Lin