Hai Lin

Orcid: 0000-0001-8658-9634

Affiliations:
  • Clarkson University, Potsdam, NY, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.
Proceedings of the 13th International Symposium on Games, 2022

2021
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Formal Analysis of Symbolic Authenticity.
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020
Local XOR Unification: Definitions, Algorithms and Application to Cryptography.
IACR Cryptol. ePrint Arch., 2020

2012
Unification Modulo Homomorphic Encryption.
J. Autom. Reason., 2012

2010
Cap unification: application to protocol security modulo homomorphic encryption.
Proceedings of the 5th ACM Symposium on Information, 2010

2008
Unification modulo Homomorphic Encryption is Decidable.
Proceedings of the 22nd International Workshop on Unification, 2008

2007
Encoding First Order Proofs in SMT.
Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Protocol Verification Via Rigid/Flexible Resolution.
Proceedings of the Logic for Programming, 2007

Encoding First Order Proofs in SAT.
Proceedings of the Automated Deduction, 2007


  Loading...