| 2022 |
— |
conf |
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 |
ICTAC
Hai Lin, Christopher Lynch
|
| 2021 |
— |
conf |
FroCoS
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
|
| 2021 |
— |
conf |
FroCoS
Hai Lin, Christopher Lynch
|
| 2020 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Hai Lin, Christopher Lynch
|
| 2012 |
J |
jnl |
J. Autom. Reason.
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
|
| 2010 |
A |
conf |
AsiaCCS
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
|
| 2009 |
— |
conf |
FroCoS
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
|
| 2008 |
— |
conf |
UNIF
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
|
| 2007 |
A |
conf |
CADE
Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor
|
| 2007 |
— |
conf |
SMT@CAV
Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor
|
| 2007 |
B |
conf |
LPAR
Stéphanie Delaune, Hai Lin, Christopher Lynch
|