13 citations · 16 across the 3 of their papers we have counts for
3 papers
Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain (Extended Version)
Matthias Lohr, Kenneth Skiba, Marco Konersmann +2
Existing fair exchange protocols usually neglect consideration of cost when assessing their fairness. However, in an environment with non-negligible transaction cost, e.g., public…
COIN: Counterfactual Image Generation for VQA Interpretation
Zeyd Boukhers, Timo Hartmann, Jan Jürjens
Due to the significant advancement of Natural Language Processing and Computer Vision-based models, Visual Question Answering (VQA) systems are becoming more intelligent and advanc…
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…