Matthew S. Bauer

According to our database, Matthew S. Bauer authored at least 9 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Exact quantitative probabilistic model checking through rational search.

Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Formal Methods Syst. Des., 2020

Modelchecking Safety Properties in Randomized Security Protocols.

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Logic, 2020

2018

Analysis of randomized security protocols

Matthew S. Bauer

PhD thesis, 2018

Model Checking Indistinguishability of Randomized Security Protocols.

Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Modular Verification of Protocol Equivalence in the Presence of Randomness.

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

Composing Protocols with Randomized Actions.

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015

The Computational Complexity of Propositional Cirquent Calculus.

Matthew S. Bauer

Log. Methods Comput. Sci., 2015

2014

A PSPACE-complete first-order fragment of computability logic.

Matthew S. Bauer

ACM Trans. Comput. Log., 2014

2010

On the Weak Computability of Continuous Real Functions

Matthew S. Bauer, Xizhong Zheng

Proceedings of the Proceedings Seventh International Conference on Computability and Complexity in Analysis, 2010