协议
发表于 2025-3-25 06:40:13
Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order LogicL program .. We are currently verifying that the formalisation of the implementation implies the formalisation of the specification: that is, we are using the HOL4 interactive theorem prover to prove the implication . ...
incredulity
发表于 2025-3-25 10:45:20
http://reply.papertrans.cn/31/3002/300189/300189_22.png
LATER
发表于 2025-3-25 12:57:20
978-3-319-22269-1Springer International Publishing Switzerland 2015
Statins
发表于 2025-3-25 17:25:05
Rolf Haenni,Reto E. Koenig,Douglas WikströmIncludes supplementary material:
senile-dementia
发表于 2025-3-25 23:42:02
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300189.jpg
AVANT
发表于 2025-3-26 04:02:51
http://reply.papertrans.cn/31/3002/300189/300189_26.png
油膏
发表于 2025-3-26 08:14:55
http://reply.papertrans.cn/31/3002/300189/300189_27.png
REP
发表于 2025-3-26 10:14:32
http://reply.papertrans.cn/31/3002/300189/300189_28.png
热情的我
发表于 2025-3-26 14:30:57
https://doi.org/10.1007/978-3-663-04826-8ociodemographic characteristics of voters and technical aspects of voting. Special attention is paid to voting and verification sessions that can be considered irregular (e.g. inability to cast a valid vote or failed verifications). We observe several interesting phenomena, e.g. that older people ar
fallible
发表于 2025-3-26 17:49:33
http://reply.papertrans.cn/31/3002/300189/300189_30.png