11 citations · 44 across the 24 of their papers we have counts for
4 papers · 1 filter
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips
Wojciech Jamroga, David Mestel, Peter B. Roenne +2
The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies for the epidemic, based on social, p…
Natural Strategic Abilities in Voting Protocols
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Security properties are often focused on the technological side of the system. One implicitly assumes that the users will behave in the right way to preserve the property at hand.…
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal
Wojciech Jamroga, Yan Kim, Damian Kurpiewski +1
The design and implementation of an e-voting system is a challenging task. Formal analysis can be of great help here. In particular, it can lead to a better understanding of how th…
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems, together with an algorithm for automated reduction of models. The…