research
∙
03/11/2022
Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain (Extended Version)
Existing fair exchange protocols usually neglect consideration of cost w...
share
research
∙
01/10/2022
COIN: Counterfactual Image Generation for VQA Interpretation
Due to the significant advancement of Natural Language Processing and Co...
research
∙
08/19/2021
Checking Security Compliance between Models and Code
The verification that planned security mechanisms are actually implement...
research
∙
11/14/2017