Taking proof-based verified computation a few steps closer to practicality

S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, Michael Walfish

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationUSENIX Security Symposium
StatePublished - Aug 2012

Cite this

Setty, S., Vu, V., Panpalia, N., Braun, B., Blumberg, AJ., & Walfish, M. (2012). Taking proof-based verified computation a few steps closer to practicality. In USENIX Security Symposium

Taking proof-based verified computation a few steps closer to practicality. / Setty, S; Vu, V; Panpalia, N; Braun, B; Blumberg, AJ; Walfish, Michael.

USENIX Security Symposium. 2012.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Setty, S, Vu, V, Panpalia, N, Braun, B, Blumberg, AJ & Walfish, M 2012, Taking proof-based verified computation a few steps closer to practicality. in USENIX Security Symposium.
Setty S, Vu V, Panpalia N, Braun B, Blumberg AJ, Walfish M. Taking proof-based verified computation a few steps closer to practicality. In USENIX Security Symposium. 2012
Setty, S ; Vu, V ; Panpalia, N ; Braun, B ; Blumberg, AJ ; Walfish, Michael. / Taking proof-based verified computation a few steps closer to practicality. USENIX Security Symposium. 2012.
@inproceedings{fa8190ddd0184e8580798c9d9f4f309a,
title = "Taking proof-based verified computation a few steps closer to practicality",
author = "S Setty and V Vu and N Panpalia and B Braun and AJ Blumberg and Michael Walfish",
year = "2012",
month = "8",
language = "English (US)",
booktitle = "USENIX Security Symposium",

}

TY - GEN

T1 - Taking proof-based verified computation a few steps closer to practicality

AU - Setty, S

AU - Vu, V

AU - Panpalia, N

AU - Braun, B

AU - Blumberg, AJ

AU - Walfish, Michael

PY - 2012/8

Y1 - 2012/8

M3 - Conference contribution

BT - USENIX Security Symposium

ER -