Hai Lin

Orcid: 0000-0001-8658-9634

Affiliations:

Clarkson University, Potsdam, NY, USA

According to our database¹, Hai Lin authored at least 10 papers between 2007 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Games, 2022

2021

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Formal Analysis of Symbolic Authenticity.

[BibT_eX]

[DOI]

Hai Lin

Christopher Lynch

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Local XOR Unification: Definitions, Algorithms and Application to Cryptography.

[BibT_eX]

[DOI]

Hai Lin

Christopher Lynch

IACR Cryptol. ePrint Arch., 2020

2012

Unification Modulo Homomorphic Encryption.

[BibT_eX]

[DOI]

J. Autom. Reason., 2012

2010

Cap unification: application to protocol security modulo homomorphic encryption.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM Symposium on Information, 2010

2008

Unification modulo Homomorphic Encryption is Decidable.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Unification, 2008

2007

Encoding First Order Proofs in SMT.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Protocol Verification Via Rigid/Flexible Resolution.

[BibT_eX]

[DOI]

Stéphanie Delaune

Hai Lin

Christopher Lynch

Proceedings of the Logic for Programming, 2007

Encoding First Order Proofs in SAT.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

Hai Lin

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...