University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 1
Dept. of Electrical and Computer Engineering 1

Collection

Research and Publications - Electrical and Computer Engineering 1

Author(s)

Bailey, Bolton 1
Chen, Xiaohong 1
Fiedler, Adam 1
Malvai, Harjasleen 1
Miller, Andrew 1
Mishra, Pratyush 1
Rodrigues, Nishant 1
Rosu, Grigore 1

Keyword(s)

Cryptography 1
Logic 1
Semantics 1

Type of Resource

text 1

↑ ↓

Showing 1–1 of 1 item

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

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 2?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)