An infinite class of sparse-Yao spanners M Bauer, M Damian Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete …, 2013 | 15 | 2013 |
Exact quantitative probabilistic model checking through rational search MS Bauer, U Mathur, R Chadha, AP Sistla, M Viswanathan 2017 Formal Methods in Computer Aided Design (FMCAD), 92-99, 2017 | 10 | 2017 |
Sound dynamic deadlock prediction in linear time HC Tunç, U Mathur, A Pavlogiannis, M Viswanathan Proceedings of the ACM on Programming Languages 7 (PLDI), 1733-1758, 2023 | 8 | 2023 |
Model checking indistinguishability of randomized security protocols MS Bauer, R Chadha, A Prasad Sistla, M Viswanathan International Conference on Computer Aided Verification, 117-135, 2018 | 8 | 2018 |
A PSPACE-complete first-order fragment of computability logic MS Bauer ACM Transactions on Computational Logic (TOCL) 15 (1), 1-11, 2014 | 8 | 2014 |
Composing protocols with randomized actions MS Bauer, R Chadha, M Viswanathan International Conference on Principles of Security and Trust, 189-210, 2016 | 7 | 2016 |
Modular verification of protocol equivalence in the presence of randomness MS Bauer, R Chadha, M Viswanathan Computer Security–ESORICS 2017: 22nd European Symposium on Research in …, 2017 | 6 | 2017 |
The computational complexity of propositional cirquent calculus MS Bauer Logical Methods in Computer Science 11, 2015 | 6 | 2015 |
On the weak computability of continuous real functions MS Bauer, X Zheng arXiv preprint arXiv:1006.0394, 2010 | 4 | 2010 |
Modelchecking safety properties in randomized security protocols MS Bauer, R Chadha, M Viswanathan Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the …, 2020 | 2 | 2020 |
Analysis of randomized security protocols MS Bauer University of Illinois at Urbana-Champaign, 2018 | 2 | 2018 |
Exact Quantitative Model Checking Through Rational Search MS Bauer, U Mathur, R Chadha, AP Sistla, M Viswanathan | | |