research
∙
07/01/2023
A game-theoretic approach to indistinguishability of winning objectives as user privacy
Game theory on graphs is a basic tool in computer science. In this paper...
share
research
∙
03/22/2022
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking
Pushdown systems (PDS) are known as an abstract model of recursive progr...
research
∙
10/23/2019
Complexity Results on Register Pushdown Automata
Register pushdown automata (RPDA) is an extension of classical pushdown ...
research
∙
05/11/2019
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem
Quantitative information flow (QIF) is traditionally defined as the expe...
research
∙
03/09/2019