What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Srinath T. V. Setty
Google Scholar
17
publications in security and cryptology related venues
Year
Venue
Title
2025
conf/sp
MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification.
Jiaxing Zhao
Srinath T. V. Setty
Weidong Cui
Greg Zaverucha
2024
conf/uss
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.
Sebastian Angel
Eleftherios Ioannidis
Elizabeth Margolin
Srinath T. V. Setty
Jess Woods
2024
conf/crypto
HyperNova: Recursive Arguments for Customizable Constraint Systems.
Abhiram Kothapalli
Srinath T. V. Setty
2024
conf/eurocrypt
Jolt: SNARKs for Virtual Machines via Lookups.
Arasu Arun
Srinath T. V. Setty
Justin Thaler
2024
conf/eurocrypt
Unlocking the Lookup Singularity with Lasso.
Srinath T. V. Setty
Justin Thaler
Riad S. Wahby
2023
conf/crypto
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.
Alexander Golovnev
Jonathan Lee
Srinath T. V. Setty
Justin Thaler
Riad S. Wahby
2022
conf/crypto
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes.
Abhiram Kothapalli
Srinath T. V. Setty
Ioanna Tzialla
2022
conf/ndss
Transparency Dictionaries with Succinct Proofs of Correct Operation.
Ioanna Tzialla
Abhiram Kothapalli
Bryan Parno
Srinath T. V. Setty
2020
conf/uss
Visor: Privacy-Preserving Video Analytics as a Cloud Service.
Rishabh Poddar
Ganesh Ananthanarayanan
Srinath T. V. Setty
Stavros Volos
Raluca Ada Popa
2020
conf/crypto
Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup.
Srinath T. V. Setty
2020
conf/sp
Replicated state machines without replicated execution.
Jonathan Lee
Kirill Nikitin
Srinath T. V. Setty
2018
conf/sp
PIR with Compressed Queries and Amortized Query Processing.
Sebastian Angel
Hao Chen
Kim Laine
Srinath T. V. Setty
2017
conf/uss
Vale: Verifying High-Performance Cryptographic Assembly Code.
Barry Bond
Chris Hawblitzel
Manos Kapritsos
K. Rustan M. Leino
Jacob R. Lorch
Bryan Parno
Ashay Rane
Srinath T. V. Setty
Laure Thompson
2015
conf/ndss
Efficient RAM and control flow in verifiable outsourced computation.
Riad S. Wahby
Srinath T. V. Setty
Zuocheng Ren
Andrew J. Blumberg
Michael Walfish
2013
conf/sp
A Hybrid Architecture for Interactive Verifiable Computation.
Victor Vu
Srinath T. V. Setty
Andrew J. Blumberg
Michael Walfish
2012
conf/uss
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
Srinath T. V. Setty
Victor Vu
Nikhil Panpalia
Benjamin Braun
Andrew J. Blumberg
Michael Walfish
2012
conf/ndss
Making argument systems for outsourced computation practical (sometimes).
Srinath T. V. Setty
Richard McPherson
Andrew J. Blumberg
Michael Walfish
Coauthors
Abhiram Kothapalli
(3)
Alexander Golovnev
(1)
Andrew J. Blumberg
(4)
Arasu Arun
(1)
Ashay Rane
(1)
Barry Bond
(1)
Benjamin Braun
(1)
Bryan Parno
(2)
Chris Hawblitzel
(1)
Eleftherios Ioannidis
(1)
Elizabeth Margolin
(1)
Ganesh Ananthanarayanan
(1)
Greg Zaverucha
(1)
Hao Chen
(1)
Ioanna Tzialla
(2)
Jacob R. Lorch
(1)
Jess Woods
(1)
Jiaxing Zhao
(1)
Jonathan Lee
(2)
Justin Thaler
(3)
K. Rustan M. Leino
(1)
Kim Laine
(1)
Kirill Nikitin
(1)
Laure Thompson
(1)
Manos Kapritsos
(1)
Michael Walfish
(4)
Nikhil Panpalia
(1)
Raluca Ada Popa
(1)
Riad S. Wahby
(3)
Richard McPherson
(1)
Rishabh Poddar
(1)
Sebastian Angel
(2)
Srinath T. V. Setty
(17)
Stavros Volos
(1)
Victor Vu
(2)
Weidong Cui
(1)
Zuocheng Ren
(1)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to