Login / Signup
Nikhil Panpalia
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Theorem Prover
Information Retrieval
Multi Step
Original Version
Top Venues
USENIX Security Symposium
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Srinath T. V. Setty
,
Victor Vu
,
Nikhil Panpalia
,
Benjamin Braun
,
Andrew J. Blumberg
,
Michael Walfish
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
USENIX Security Symposium
(2012)
Srinath T. V. Setty
,
Victor Vu
,
Nikhil Panpalia
,
Benjamin Braun
,
Andrew J. Blumberg
,
Michael Walfish
Taking proof-based verified computation a few steps closer to practicality (extended version).
IACR Cryptol. ePrint Arch.
2012 (2012)