research
∙
08/26/2023
Solving the insecurity problem for assertions
In the symbolic verification of cryptographic protocols, a central probl...
share
research
∙
02/09/2022
Protocol Insecurity with Assertions
In the study of symbolic verification of cryptographic protocols, a cent...
research
∙
02/03/2022
Are Bundles Good Deals for FOML?
Bundled products are often offered as good deals to customers. When we b...
research
∙
06/22/2021
Reasoning about Emergence of Collective Memory
We offer a very simple model of how collective memory may form. Agents k...
research
∙
07/22/2019
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic
Whether it be in normal form games, or in fair allocations, or in voter ...
research
∙
04/23/2019
Two variable fragment of Term Modal Logic
Term modal logics (TML) are modal logics with unboundedly many modalitie...
research
∙
11/23/2018
Propositional modal logic with implicit modal quantification
Propositional term modal logic is interpreted over Kripke structures wit...
research
∙
03/28/2018
Bundled fragments of first-order modal logic: (un)decidability
Quantified modal logic provides a natural logical language for reasoning...
research
∙
12/27/2017
Deviator Detection under Imperfect Monitoring
Grim-trigger strategies are a fundamental mechanism for sustaining equil...
research
∙
06/23/2016