Luke Pearson

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 3

Top Topics

Cooperating Agents

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. IACR Cryptol. ePrint Arch. 2023 (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. CoRR (2023)
Luke Pearson, Joshua Fitzgerald, Héctor Masip, Marta Bellés-Muñoz, Jose Luis Muñoz-Tapia
PlonKup: Reconciling PlonK with plookup. IACR Cryptol. ePrint Arch. 2022 (2022)
Brad Hall, Sean Harris, Bernhard Hengst, Roger Liu, Kenneth Ng, Maurice Pagnucco, Luke Pearson, Claude Sammut, Peter Schmidt
RoboCup SPL 2015 Champion Team Paper. RoboCup (2015)