| Decomposition instead of self-composition for proving the absence of timing channels T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei ACM SIGPLAN Notices 52 (6), 362-375, 2017 | 133 | 2017 |
| Foundations for decision problems in separation logic with general inductive predicates T Antonopoulos, N Gorogiannis, C Haase, M Kanovich, J Ouaknine International Conference on Foundations of Software Science and Computation …, 2014 | 88 | 2014 |
| Reachability problems for Markov chains S Akshay, T Antonopoulos, J Ouaknine, J Worrell Information Processing Letters 115 (2), 155-158, 2015 | 74 | 2015 |
| Counterexample-guided approach to finding numerical invariants TV Nguyen, T Antonopoulos, A Ruef, M Hicks Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 66 | 2017 |
| An algebra of alignment for relational verification T Antonopoulos, E Koskinen, TC Le, R Nagasamudram, DA Naumann, ... arXiv preprint arXiv:2202.04278, 2022 | 33 | 2022 |
| DynamiTe: dynamic termination and non-termination proofs TC Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 33 | 2020 |
| Proving UNSAT in Zero Knowledge N Luo, T Antonopoulos, W Harris, R Piskac, E Tromer, X Wang Cryptology ePrint Archive, 2022 | 27 | 2022 |
| Definability problems for graph query languages T Antonopoulos, F Neven, F Servais Proceedings of the 16th International Conference on Database Theory, 141-152, 2013 | 24 | 2013 |
| ppSAT: Towards Two-Party Private SAT Solving. N Luo, S Judson, T Antonopoulos, R Piskac, X Wang IACR Cryptol. ePrint Arch. 2021, 1584, 2021 | 18 | 2021 |
| Separating graph logic from MSO T Antonopoulos, A Dawar International Conference on Foundations of Software Science and …, 2009 | 14 | 2009 |
| {ZKSMT}: A {VM} for Proving {SMT} Theorems in Zero Knowledge D Luick, JC Kolesar, T Antonopoulos, WR Harris, J Parker, R Piskac, ... 33rd USENIX Security Symposium (USENIX Security 24), 3837-3845, 2024 | 12 | 2024 |
| Generating, sampling and counting subclasses of regular tree languages T Antonopoulos, F Geerts, W Martens, F Neven Theory of Computing Systems 52 (3), 542-585, 2013 | 12 | 2013 |
| Ou: Automating the Parallelization of Zero-Knowledge Protocols Y Sang, N Luo, S Judson, B Chaimberg, T Antonopoulos, X Wang, ... Cryptology ePrint Archive, 2023 | 11 | 2023 |
| Strongly unambiguous Büchi automata are polynomially predictable with membership queries D Angluin, T Antonopoulos, D Fisman 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020 | 11 | 2020 |
| Analyzing Intentional Behavior in Autonomous Agents under Uncertainty F Cano Córdoba, S Judson, T Antonopoulos, K Bjørner, N Shoemaker, ... arXiv e-prints, arXiv: 2307.01532, 2023 | 8* | 2023 |
| Specification and inference of trace refinement relations T Antonopoulos, E Koskinen, TC Le Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 7 | 2019 |
| Query learning of derived -tree languages in polynomial time D Fisman, T Antonopoulos, D Angluin Logical Methods in Computer Science 15, 2019 | 7 | 2019 |
| soid: A Tool for Legal Accountability for Automated Decision Making S Judson, M Elacqua, F Cano, T Antonopoulos, B Könighofer, SJ Shapiro, ... International Conference on Computer Aided Verification, 233-246, 2024 | 6 | 2024 |
| Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms S Judson, N Luo, T Antonopoulos, R Piskac Proceedings of the 19th Workshop on Privacy in the Electronic Society, 101-115, 2020 | 6 | 2020 |
| A formal analysis of timing channel security via bucketing T Terauchi, T Antonopoulos International Conference on Principles of Security and Trust, 29-50, 2019 | 6 | 2019 |
