Scholar
Timos Antonopoulos
Google Scholar ID: H3rrN9oAAAAJ
Research Scientist, Yale University
Citations & Impact
Citations
397
H-index
10
i10-index
11
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- ['"Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge", OOPSLA 2025', '"Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks", ICCAD 2024', '"soid: A Tool for Legal Accountability for Automated Decision Making", CAV 2024', '"ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge", USENIX Security 2024', '"'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions", CSLAW 2024', '"Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty", IJCAI 2023', '"Ou: Automating the Parallelization of Zero-Knowledge Protocols", CCS 2023', '"An Algebra of Alignment for Relational Verification", POPL 2023', '"Proving UNSAT in Zero Knowledge", CCS 2022', '"Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata", FoSSaCS 2022', '"ppSAT: Towards Two-Party Private SAT Solving", USENIX Security 2022', '"Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem", INFOCOM 2021', '"Bucketing and Information Flow Analysis for Provable Timing Attack Mitigation", JCS 28(6), 2020', '"DynamiTe: Dynamic Termination and Non-termination Proofs", OOPSLA 2020', '"Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity", SEAD 2020', '"Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms", WPES 2020', '"Strongly Unambiguous Büchi Automata Are Polynomially Predictable with Membership Queries", CSL 2020', '"Specification and Inference of Trace Refinement Relations", OOPSLA 2019', '"Query Learning of Derived ω-Tree Languages in Polynomial Time", LMCS 15(3), 2019', '"Games for Security under Adaptive Adversaries", CSF 2019', '"A Formal Analysis of Timing Channel Security via Bucketing", POST 2019', '"Counterexample-guided Approach to Finding Numerical Invariants", FSE 2017']
Co-authors