Concepedia

Srinath Setty

SS

22

Publications

2.3K

Citations

18

H-Index

2010

Active since

Affiliations

The University of Texas at Austin(Current)

Microsoft Research (United Kingdom)

Microsoft (United States)

Microsoft Research (India)

Technical University of Munich

Srinath Setty is an author at The University of Texas at Austin specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationData SecurityCryptographyFormal MethodsData PrivacyCloud ComputingData Management

Publications per year

2010–2022

22

Publications

22

Airavat: security and privacy for MapReduce

Indrajit Roy, Srinath Setty, Ann Kilzer et al. · Networked Systems Design and Implementation · 2010 · 400 citations

Cloud Computing Infrastructure, Engineering, Information Security +14

Chris Hawblitzel, Jon Howell, Manos Kapritsos et al. · 2015 · 305 citations

Engineering, Verification, Fault Tolerance +16

PIR with Compressed Queries and Amortized Query Processing

Sebastian Angel, Hao Chen, Kim Laine et al. · 2018 · 218 citations · Full text

Engineering, Information Security, Computational Cost +20

Prince Mahajan, Srinath Setty, Sangmin Lee et al. · ACM Transactions on Computer Systems · 2011 · 196 citations

Hardware Security, Software Maintenance, Data Consistency +14

Verifying computations with state

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren et al. · 2013 · 164 citations · Full text

Engineering, Verification, Computer-aided Verification +18

Rows per page

1–5 of 22