Collaborated with:M.A.Hammer Andrew Miller 0001 G.Barthe J.Hsu
Talks about:cryptographi (1) probabilist (1) calculus (1) comput (1) compos (1) separ (1) logic (1) ilc (1)
Person: Kevin Liao
DBLP: Liao:Kevin
Contributed to:
2019
2020Wrote 2 papers:
- PLDI-2019-LiaoHM #calculus #composition #encryption #named
- ILC: a calculus for composable, computational cryptography (KL, MAH, AM0), pp. 640–654.
- POPL-2020-BartheHL #logic #probability
- A probabilistic separation logic (GB, JH, KL), p. 30.