readme: full title.

leefige · leefige · commit 0d2b9e1fcdc0 · 2023-12-07T00:28:49.000+08:00
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# GAuV
+# GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols
 
 GAuV is a automated framework for verifying the perfect security of multiparty computation (MPC) protocol against semi-honest adversaries.
 GAuV accepts a MPC protocol representation and produces YES/UNKNOWN in a push-button style (without any other human intervention).

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# GAuV`
	`1`	`+# GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols`
`2`	`2`
`3`	`3`	`GAuV is a automated framework for verifying the perfect security of multiparty computation (MPC) protocol against semi-honest adversaries.`
`4`	`4`	`GAuV accepts a MPC protocol representation and produces YES/UNKNOWN in a push-button style (without any other human intervention).`