Suivre
Matthew S. Bauer
Matthew S. Bauer
Adresse e-mail validée de illinois.edu
Titre
Citée par
Citée par
Année
An infinite class of sparse-Yao spanners
M Bauer, M Damian
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete …, 2013
152013
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
102017
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
82018
A PSPACE-complete first-order fragment of computability logic
MS Bauer
ACM Transactions on Computational Logic (TOCL) 15 (1), 1-11, 2014
82014
Composing protocols with randomized actions
MS Bauer, R Chadha, M Viswanathan
International Conference on Principles of Security and Trust, 189-210, 2016
72016
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
62017
The computational complexity of propositional cirquent calculus
MS Bauer
Logical Methods in Computer Science 11, 2015
62015
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
52023
On the weak computability of continuous real functions
MS Bauer, X Zheng
arXiv preprint arXiv:1006.0394, 2010
42010
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
22020
Analysis of randomized security protocols
MS Bauer
University of Illinois at Urbana-Champaign, 2018
22018
Exact Quantitative Model Checking Through Rational Search
MS Bauer, U Mathur, R Chadha, AP Sistla, M Viswanathan
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12