Matthew S. Bauer

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 6

Top Topics

Security Protocols

Pspace Complete

Top Venues

ACM Trans. Comput. Log.

Publications

Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. 56 (1) (2020)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
Modelchecking Safety Properties in Randomized Security Protocols. Logic, Language, and Security (2020)
Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) (2018)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
Modular Verification of Protocol Equivalence in the Presence of Randomness. ESORICS (1) (2017)
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Exact quantitative probabilistic model checking through rational search. FMCAD (2017)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
Composing Protocols with Randomized Actions. POST (2016)
Matthew S. Bauer
The Computational Complexity of Propositional Cirquent Calculus. Log. Methods Comput. Sci. 11 (1) (2015)
Matthew S. Bauer
A PSPACE-complete first-order fragment of computability logic. ACM Trans. Comput. Log. 15 (1) (2014)
Matthew S. Bauer
A PSPACE-Complete First Order Fragment of Computability Logic CoRR (2012)
Matthew S. Bauer, Xizhong Zheng
On the Weak Computability of Continuous Real Functions CCA (2010)