An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness

No ratings

Presented at C2SI 2019 by

Yating Wang

Jingchen Yan

Yuichi Cheng

N/A