22 citations · 23 across the 3 of their papers we have counts for
3 papers
Client-Server Password Recovery (Extended Abstract)
Łukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum
Human memory is not perfect - people constantly memorize new facts and forget old ones. One example is forgetting a password, a common problem raised at IT help desks. We present s…
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Miguel E. Andres, Pedro D'Argenio, Peter van Rossum
This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov Chains and Markov Decision Processes. (Finite) paths in counterexample…
Probabilistic Anonymity and Admissible Schedulers
Flavio D. Garcia, Peter van Rossum, Ana Sokolova
When studying safety properties of (formal) protocol models, it is customary to view the scheduler as an adversary: an entity trying to falsify the safety property. We show that in…