Hai Lin

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