cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 487 | 2022 |
Scaling verifiable computation using efficient set accumulators A Ozdemir, R Wahby, B Whitehat, D Boneh 29th USENIX Security Symposium (USENIX Security 20), 2075-2092, 2020 | 94 | 2020 |
Parallelization techniques for verifying neural networks. H Wu, A Ozdemir, A Zeljiæ, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ... | 69 | 2020 |
Experimenting with collaborative zk-SNARKs: Zero-Knowledge proofs for distributed secrets A Ozdemir, D Boneh 31st USENIX Security Symposium (USENIX Security 22), 4291-4308, 2022 | 57 | 2022 |
CirC: Compiler infrastructure for proof systems, software verification, and more A Ozdemir, F Brown, RS Wahby 2022 IEEE Symposium on Security and Privacy (SP), 2248-2266, 2022 | 56* | 2022 |
Flexible proof production in an industrial-strength SMT solver H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ... International Joint Conference on Automated Reasoning, 15-35, 2022 | 27 | 2022 |
Satisfiability modulo finite fields A Ozdemir, G Kremer, C Tinelli, C Barrett International Conference on Computer Aided Verification, 163-186, 2023 | 15 | 2023 |
Silph: A framework for scalable and accurate generation of hybrid MPC protocols E Chen, J Zhu, A Ozdemir, RS Wahby, F Brown, W Zheng 2023 IEEE Symposium on Security and Privacy (SP), 848-863, 2023 | 15 | 2023 |
Efficient functional commitments: How to commit to a private function D Boneh, W Nguyen, A Ozdemir Cryptology ePrint Archive, 2021 | 13 | 2021 |
Bounded Verification for Finite-Field-Blasting: In a Compiler for Zero Knowledge Proofs A Ozdemir, RS Wahby, F Brown, C Barrett International Conference on Computer Aided Verification, 154-175, 2023 | 11 | 2023 |
Clustering the space of maximum parsimony reconciliations in the duplication-transfer-loss model A Ozdemir, M Sheely, D Bork, R Cheng, R Hulett, J Sung, J Wang, ... Algorithms for Computational Biology: 4th International Conference, AlCoB …, 2017 | 10 | 2017 |
R2e2: Low-latency path tracing of terabyte-scale scenes using thousands of cloud cpus S Fouladi, B Shacklett, F Poms, A Arora, A Ozdemir, D Raghavan, ... ACM Transactions on Graphics (TOG) 41 (4), 1-12, 2022 | 8 | 2022 |
DRAT-based bit-vector proofs in CVC4 A Ozdemir, A Niemetz, M Preiner, Y Zohar, C Barrett Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 8 | 2019 |
Generating and exploiting automated reasoning proof certificates H Barbosa, C Barrett, B Cook, B Dutertre, G Kremer, H Lachnitt, A Niemetz, ... Communications of the ACM 66 (10), 86-95, 2023 | 6 | 2023 |
CVC5 at the SMT Competition 2022 H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, A Mohamed, ... | 5 | 2022 |
Sat solving in the serverless cloud A Ozdemir, H Wu, C Barrett 2021 Formal Methods in Computer Aided Design (FMCAD), 241-245, 2021 | 5 | 2021 |
zkPi: Proving lean theorems in zero-knowledge E Laufer, A Ozdemir, D Boneh Cryptology ePrint Archive, 2024 | 4 | 2024 |
Split gröbner bases for satisfiability modulo finite fields A Ozdemir, S Pailoor, A Bassa, K Ferles, C Barrett, I Dillig International Conference on Computer Aided Verification, 3-25, 2024 | 2 | 2024 |
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. AA Nair, S Chattopadhyay, H Wu, A Ozdemir, CW Barrett FMCAD, 84-88, 2022 | 2 | 2022 |
An SMT-LIB Theory of Finite Fields T Hader, A Ozdemir arXiv preprint arXiv:2407.21169, 2024 | 1 | 2024 |