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
122 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
87 2014 Reachability problems for Markov chains S Akshay, T Antonopoulos, J Ouaknine, J Worrell
Information Processing Letters 115 (2), 155-158, 2015
69 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
56 2017 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
28 2020 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 An algebra of alignment for relational verification T Antonopoulos, E Koskinen, TC Le, R Nagasamudram, DA Naumann, ...
arXiv preprint arXiv:2202.04278, 2022
21 2022 Proving UNSAT in Zero Knowledge N Luo, T Antonopoulos, W Harris, R Piskac, E Tromer, X Wang
Cryptology ePrint Archive, 2022
14 2022 Separating graph logic from MSO T Antonopoulos, A Dawar
International Conference on Foundations of Software Science and …, 2009
13 2009 ppSAT: Towards Two-Party Private SAT Solving. N Luo, S Judson, T Antonopoulos, R Piskac, X Wang
IACR Cryptol. ePrint Arch. 2021, 1584, 2021
12 2021 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 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
11 2013 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 D Fisman, T Antonopoulos, D Angluin
Logical Methods in Computer Science 15, 2019
7 2019 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 Ou: Automating the Parallelization of Zero-Knowledge Protocols Y Sang, N Luo, S Judson, B Chaimberg, T Antonopoulos, X Wang, ...
Cryptology ePrint Archive, 2023
5 2023 Using dynamically inferred invariants to analyze program runtime complexity TV Nguyen, D Ishimwe, A Malyshev, T Antonopoulos, QS Phan
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software …, 2020
5 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
4 * 2023 IVeri: Privacy-Preserving Interdomain Verification N Luo, Q Xiang, T Antonopoulos, R Piskac, YR Yang, F Le
arXiv preprint arXiv:2202.02729, 2022
4 2022 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
4 2020 