Hai Lin

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 5

Top Topics

Cryptographic Algorithms

Formal Analysis

Optimization Problems

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Hai Lin, Christopher Lynch
Local XOR Unification: Definitions, Algorithms and Application to Cryptography. ICTAC (2022)
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF (2022)
Hai Lin, Christopher Lynch
Formal Analysis of Symbolic Authenticity. FroCoS (2021)
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS (2021)
Hai Lin, Christopher Lynch
Local XOR Unification: Definitions, Algorithms and Application to Cryptography. IACR Cryptol. ePrint Arch. 2020 (2020)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Homomorphic Encryption. J. Autom. Reason. 48 (2) (2012)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Cap unification: application to protocol security modulo homomorphic encryption. AsiaCCS (2010)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Homomorphic Encryption. FroCoS (2009)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification modulo Homomorphic Encryption is Decidable. UNIF (2008)
Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor
Encoding First Order Proofs in SMT. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)
Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor
Encoding First Order Proofs in SAT. CADE (2007)
Stéphanie Delaune, Hai Lin, Christopher Lynch
Protocol Verification Via Rigid/Flexible Resolution. LPAR (2007)