USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 7 results:
Filters: Author is Charalampos Papamanthou [Clear All Filters]
BalanceProofs: Maintainable Vector Commitments with Fast Aggregation. 32nd USENIX Security Symposium (USENIX Security 23). :4409--4426.
.
2023. Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments. 31st USENIX Security Symposium (USENIX Security 22). :3001--3018.
.
2022. MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs. 29th USENIX Security Symposium (USENIX Security 20). :2129--2146.
.
2020. SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage. 29th USENIX Security Symposium (USENIX Security 20). :2433--2450.
.
2020. All Your Queries Are Belong to Us: The Power of File-Injection Attacks on Searchable Encryption. 25th USENIX Security Symposium (USENIX Security 16). :707--720.
.
2016. TRUESET: Faster Veriļ¬able Set Computations. 23rd USENIX Security Symposium (USENIX Security 14). :765--780.
.
2014. MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
.
2011.