Alex Ozdemir

According to our database, Alex Ozdemir authored at least 28 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

cvc5 for SMT-COMP 2025.

Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Abdalrhman Mohamed, Mudathir Mohamed, José Neto, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 2025

Efficient Proofs of Possession for Legacy Signatures.

Anna P. Y. Woo, Alex Ozdemir, Chad Sharp, Thomas Pornin, Paul Grubbs

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs.

Alex Ozdemir, Evan Laufer, Dan Boneh

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Integer Reasoning Modulo Different Constants in SMT.

Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

cvc5 for SMT-COMP 2024.

Leni Aniva, Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Daniel Larraz, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 2024

An SMT-LIB Theory of Finite Fields.

Thomas Hader, Alex Ozdemir

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

zkPi: Proving Lean Theorems in Zero-Knowledge.

Evan Laufer, Alex Ozdemir, Dan Boneh

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Split Gröbner Bases for Satisfiability Modulo Finite Fields.

Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Generating and Exploiting Automated Reasoning Proof Certificates.

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

Commun. ACM, October, 2023

Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols.

Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.

Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Satisfiability Modulo Finite Fields.

Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

R2E2: low-latency path tracing of terabyte-scale scenes using thousands of cloud CPUs.

Sadjad Fouladi, Brennan Shacklett, Fait Poms, Arjun Arora, Alex Ozdemir, Deepti Raghavan, Pat Hanrahan, Kayvon Fatahalian, Keith Winstein

ACM Trans. Graph., 2022

Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.

Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett

CoRR, 2022

Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets.

Alex Ozdemir, Dan Boneh

Proceedings of the 31st USENIX Security Symposium, 2022

cvc5: A Versatile and Industrial-Strength SMT Solver.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

CirC: Compiler infrastructure for proof systems, software verification, and more.

Alex Ozdemir, Fraser Brown, Riad S. Wahby

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.

Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Flexible Proof Production in an Industrial-Strength SMT Solver.

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

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Efficient Functional Commitments: How to Commit to Private Functions.

Dan Boneh, Wilson D. Nguyen, Alex Ozdemir

IACR Cryptol. ePrint Arch., 2021

SAT Solving in the Serverless Cloud.

Alex Ozdemir, Haoze Wu, Clark W. Barrett

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Unifying Compilers for SNARKs, SMT, and More.

Alex Ozdemir, Fraser Brown, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2020

Scaling Verifiable Computation Using Efficient Set Accumulators.

Alex Ozdemir, Riad S. Wahby, Barry Whitehat, Dan Boneh

Proceedings of the 29th USENIX Security Symposium, 2020

Parallelization Techniques for Verifying Neural Networks.

Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Outsourcing Everyday Jobs to Thousands of Cloud Functions with gg.

Sadjad Fouladi, Francisco Romero, Dan Iter, Qian Li, Alex Ozdemir, Shuvo Chatterjee, Matei Zaharia, Christos Kozyrakis, Keith Winstein

login Usenix Mag., 2019

Scaling Verifiable Computation Using Efficient Set Accumulators.

Alex Ozdemir, Riad S. Wahby, Dan Boneh

IACR Cryptol. ePrint Arch., 2019

DRAT-based Bit-Vector Proofs in CVC4.

Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

2017

Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model.

Alex Ozdemir, Michael Sheely, Daniel Bork, Ricson Cheng, Reyna Hulett, Jean Sung, Jincheng Wang, Ran Libeskind-Hadas

Proceedings of the Algorithms for Computational Biology, 2017