Alex Ozdemir

40 papers A* 7A 2B 3Journal 21Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Orbit: Optimizing Rescale and Bootstrap Placement with Integer Linear Programming Techniques for Secure Inference.
IACR Cryptol. ePrint Arch.
Zikai Zhou, William Seo, Edward Chen, Alex Ozdemir, Fraser Brown, Wenting Zheng
2025 J jnl
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs.
Formal Methods Syst. Des.
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2025 A* conf
Efficient Proofs of Possession for Legacy Signatures.
SP
Anna P. Y. Woo, Alex Ozdemir, Chad Sharp, Thomas Pornin, Paul Grubbs
2025 J jnl
Efficient Proofs of Possession for Legacy Signatures.
IACR Cryptol. ePrint Arch.
Anna P. Y. Woo, Alex Ozdemir, Chad Sharp, Thomas Pornin, Paul Grubbs
2025 — conf
Integer Reasoning Modulo Different Constants in SMT.
CAV (1)
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2025 J jnl
Integer Reasoning Modulo Different Constants in SMT.
CoRR
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2025 A* conf
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs.
SP
Alex Ozdemir, Evan Laufer, Dan Boneh
2024 — conf
An SMT-LIB Theory of Finite Fields.
SMT@CAV
Thomas Hader, Alex Ozdemir
2024 J jnl
An SMT-LIB Theory of Finite Fields.
CoRR
Thomas Hader, Alex Ozdemir
2024 — conf
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
CAV (1)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2024 J jnl
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2024 J jnl
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Evan Laufer, Dan Boneh
2024 A* conf
zkPi: Proving Lean Theorems in Zero-Knowledge.
CCS
Evan Laufer, Alex Ozdemir, Dan Boneh
2024 J jnl
zkPi: Proving Lean Theorems in Zero-Knowledge.
IACR Cryptol. ePrint Arch.
Evan Laufer, Alex Ozdemir, Dan Boneh
2023 J jnl
Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs).
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023 — conf
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.
CAV (3)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023 J jnl
Generating and Exploiting Automated Reasoning Proof Certificates.
Commun. ACM
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
2023 — conf
Satisfiability Modulo Finite Fields.
CAV (2)
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
2023 J jnl
Satisfiability Modulo Finite Fields.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
2023 A* conf
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols.
SP
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
2023 J jnl
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols.
IACR Cryptol. ePrint Arch.
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
2022 A* conf
CirC: Compiler infrastructure for proof systems, software verification, and more.
SP
Alex Ozdemir, Fraser Brown, Riad S. Wahby
2022 A* conf
Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets.
USENIX Security Symposium
Alex Ozdemir, Dan Boneh
2022 A conf
Flexible Proof Production in an Industrial-Strength SMT Solver.
IJCAR
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
2022 J jnl
Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.
CoRR
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
2022 B conf
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.
FMCAD
Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
2022 J jnl
R2E2: low-latency path tracing of terabyte-scale scenes using thousands of cloud CPUs.
ACM Trans. Graph.
Sadjad Fouladi, Brennan Shacklett, Fait Poms, Arjun Arora, Alex Ozdemir, Deepti Raghavan, Pat Hanrahan, Kayvon Fatahalian, Keith Winstein
2022 — conf
cvc5: A Versatile and Industrial-Strength SMT Solver.
TACAS (1)
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
2021 J jnl
Efficient Functional Commitments: How to Commit to Private Functions.
IACR Cryptol. ePrint Arch.
Dan Boneh, Wilson D. Nguyen, Alex Ozdemir
2021 J jnl
Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Dan Boneh
2021 B conf
SAT Solving in the Serverless Cloud.
FMCAD
Alex Ozdemir, Haoze Wu, Clark W. Barrett
2020 B conf
Parallelization Techniques for Verifying Neural Networks.
FMCAD
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2020 J jnl
Parallelization Techniques for Verifying Neural Networks.
CoRR
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2020 A* conf
Scaling Verifiable Computation Using Efficient Set Accumulators.
USENIX Security Symposium
Alex Ozdemir, Riad S. Wahby, Barry Whitehat, Dan Boneh
2020 J jnl
Unifying Compilers for SNARKs, SMT, and More.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Fraser Brown, Riad S. Wahby
2019 A conf
DRAT-based Bit-Vector Proofs in CVC4.
SAT
Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett
2019 J jnl
DRAT-based Bit-Vector Proofs in CVC4.
CoRR
Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett
2019 J jnl
Outsourcing Everyday Jobs to Thousands of Cloud Functions with gg.
login Usenix Mag.
Sadjad Fouladi, Francisco Romero, Dan Iter, Qian Li, Alex Ozdemir, Shuvo Chatterjee, Matei Zaharia, Christos Kozyrakis, Keith Winstein
2019 J jnl
Scaling Verifiable Computation Using Efficient Set Accumulators.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Riad S. Wahby, Dan Boneh
2017 — conf
Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model.
AlCoB
Alex Ozdemir, Michael Sheely, Daniel Bork, Ricson Cheng, Reyna Hulett, Jean Sung, Jincheng Wang, Ran Libeskind-Hadas