Takip et
Srinath Setty
Srinath Setty
Principal Researcher at Microsoft Research
microsoft.com üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Airavat: Security and privacy for MapReduce
I Roy, STV Setty, A Kilzer, V Shmatikov, E Witchel
Proceedings of the 7th USENIX conference on Networked systems design and …, 2010
7192010
IronFleet: proving practical distributed systems correct
C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ...
Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015
4762015
Depot: Cloud storage with minimal trust
P Mahajan, S Setty, S Lee, A Clement, L Alvisi, M Dahlin, M Walfish
USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010 …, 2011
4542011
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
S Setty
Annual International Cryptology Conference, 2020, 2019
3702019
PIR with compressed queries and amortized query processing
S Angel, H Chen, K Laine, S Setty
IEEE Symposium on Security and Privacy, 2018
3312018
Verifying computations with state
B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish
ACM Symposium on Operating Systems Principles, 2013
2512013
Efficient RAM and control flow in verifiable outsourced computation
RS Wahby, S Setty, Z Ren, AJ Blumberg, M Walfish
NDSS 2015, 2015
2372015
Taking proof-based verified computation a few steps closer to practicality
S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish
USENIX Security Symposium 2012, 2012
2302012
Taking proof-based verified computation a few steps closer to practicality
S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish
21st {USENIX} Security Symposium ({USENIX} Security 12), 253-268, 2012
2302012
Making Argument Systems for Outsourced Computation Practical (Sometimes)
S Setty, R McPherson, AJ Blumberg, M Walfish
NDSS 2012, 2012
2192012
Unobservable communication over fully untrusted infrastructure
S Angel, S Setty
Proceedings of the 12th Symposium on Operating Systems Design and …, 2016
2142016
A hybrid architecture for interactive verifiable computation
V Vu, S Setty, AJ Blumberg, M Walfish
IEEE Symposium on Security and Privacy, 2013
2012013
Vale: Verifying high-performance cryptographic assembly code
B Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ...
26th {USENIX} Security Symposium ({USENIX} Security 17), 917-934, 2017
1932017
Resolving the conflict between generality and plausibility in verified computation
S Setty, B Braun, V Vu, AJ Blumberg, B Parno, M Walfish
ACM European Conference on Computer Systems, EuroSys 2013, 2012
1812012
Nova: Recursive zero-knowledge arguments from folding schemes
A Kothapalli, S Setty, I Tzialla
Annual International Cryptology Conference, 359-388, 2022
1772022
Verifiable outsourced ledgers
S Setty, R Venkatesan
US Patent 10,587,628, 2020
1612020
Scalable and private media consumption with Popcorn
T Gupta, N Crooks, W Mulhern, S Setty, L Alvisi, M Walfish
Symposium on Networked Systems Design and Implementation (NSDI), 2016
1332016
Byzantine Ordered Consensus without Byzantine Oligarchy
Y Zhang, S Setty, Q Chen, L Zhou, L Alvisi
14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020
1242020
Visor:{Privacy-Preserving} Video Analytics as a Cloud Service
R Poddar, G Ananthanarayanan, S Setty, S Volos, RA Popa
29th USENIX Security Symposium (USENIX Security 20), 1039-1056, 2020
842020
IronFleet: proving safety and liveness of practical distributed systems
C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ...
Communications of the ACM 60 (7), 83-92, 2017
842017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20