Formalizing and proving privacy properties of voting protocols using alpha-beta privacy (Q2167772)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7576075
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formalizing and proving privacy properties of voting protocols using alpha-beta privacy |
scientific article; zbMATH DE number 7576075 |
Statements
Formalizing and proving privacy properties of voting protocols using alpha-beta privacy (English)
0 references
25 August 2022
0 references
formal security models
0 references
logic and verification
0 references
privacy-preserving systems
0 references
voting protocols
0 references
receipt-freeness
0 references
security requirements
0 references
security protocols
0 references
0.8217262029647827
0 references
0.8005794286727905
0 references
0.7957903146743774
0 references
0.7783209085464478
0 references
0.7765598297119141
0 references
