Alex Ozdemir

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 32

Top Topics

Theorem Proving

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. CAV (1) (2024)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. IACR Cryptol. ePrint Arch. 2024 (2024)
Alex Ozdemir, Evan Laufer, Dan Boneh
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs. IACR Cryptol. ePrint Arch. 2024 (2024)
Thomas Hader, Alex Ozdemir
An SMT-LIB Theory of Finite Fields. SMT@CAV (2024)
Thomas Hader, Alex Ozdemir
An SMT-LIB Theory of Finite Fields. CoRR (2024)
Evan Laufer, Alex Ozdemir, Dan Boneh
zkPi: Proving Lean Theorems in Zero-Knowledge. IACR Cryptol. ePrint Arch. 2024 (2024)
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar
Generating and Exploiting Automated Reasoning Proof Certificates. Commun. ACM 66 (10) (2023)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. CAV (3) (2023)
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. SP (2023)
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
Satisfiability Modulo Finite Fields. CAV (2) (2023)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). IACR Cryptol. ePrint Arch. 2023 (2023)
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
Satisfiability Modulo Finite Fields. IACR Cryptol. ePrint Arch. 2023 (2023)
Alex Ozdemir, Fraser Brown, Riad S. Wahby
CirC: Compiler infrastructure for proof systems, software verification, and more. IEEE Symposium on Security and Privacy (2022)
Alex Ozdemir, Dan Boneh
Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets. USENIX Security Symposium (2022)
Sadjad Fouladi, Brennan Shacklett, Fait Poms, Arjun Arora, Alex Ozdemir, Deepti Raghavan, Pat Hanrahan, Kayvon Fatahalian, Keith Winstein
R2E2: low-latency path tracing of terabyte-scale scenes using thousands of cloud CPUs. ACM Trans. Graph. 41 (4) (2022)
Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS (1) (2022)
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers. CoRR (2022)
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
Flexible Proof Production in an Industrial-Strength SMT Solver. IJCAR (2022)
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. FMCAD (2022)
Dan Boneh, Wilson Nguyen, Alex Ozdemir
Efficient Functional Commitments: How to Commit to Private Functions. IACR Cryptol. ePrint Arch. 2021 (2021)
Alex Ozdemir, Haoze Wu, Clark W. Barrett
SAT Solving in the Serverless Cloud. FMCAD (2021)
Alex Ozdemir, Dan Boneh
Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets. IACR Cryptol. ePrint Arch. 2021 (2021)
Alex Ozdemir, Riad S. Wahby, Barry Whitehat, Dan Boneh
Scaling Verifiable Computation Using Efficient Set Accumulators. USENIX Security Symposium (2020)
Alex Ozdemir, Fraser Brown, Riad S. Wahby
Unifying Compilers for SNARKs, SMT, and More. IACR Cryptol. ePrint Arch. 2020 (2020)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. FMCAD (2020)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. CoRR (2020)
Alex Ozdemir, Riad S. Wahby, Dan Boneh
Scaling Verifiable Computation Using Efficient Set Accumulators. IACR Cryptol. ePrint Arch. 2019 (2019)
Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett
DRAT-based Bit-Vector Proofs in CVC4. CoRR (2019)
Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett
DRAT-based Bit-Vector Proofs in CVC4. SAT (2019)
Sadjad Fouladi, Francisco Romero, Dan Iter, Qian Li, Alex Ozdemir, Shuvo Chatterjee, Matei Zaharia, Christos Kozyrakis, Keith Winstein
Outsourcing Everyday Jobs to Thousands of Cloud Functions with gg. login Usenix Mag. 44 (3) (2019)
Alex Ozdemir, Michael Sheely, Daniel Bork, Ricson Cheng, Reyna Hulett, Jean Sung, Jincheng Wang, Ran Libeskind-Hadas
Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model. AlCoB (2017)