Matthew S. Bauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CAV | Model Checking Indistinguishability of Randomized Security Protocols. | Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | ESORICS | Modular Verification of Protocol Equivalence in the Presence of Randomness. | Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan |
| 2017 | FMCAD | Exact quantitative probabilistic model checking through rational search. | Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |