University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 151–180 of 18,966 items
Thumbnail for Matching Logic Proofs Meet Succinct Cryptographic Proofs
Matching Logic Proofs Meet Succinct Cryptographic Proofs
Bailey, Bolton; Chen, Xiaohong; Fiedler, Adam; Malvai, Harjasleen; Miller, Andrew; Mishra, Pratyush; Rodrigues, Nishant; Rosu, Grigore • 2024