-
KEM-DEM
- Referenced in 59 articles
[sw03093]
- A universally composable secure channel based on the...
-
Pinocchio
- Referenced in 42 articles
[sw10193]
- Pinocchio: Nearly practical verifiable computation. To instill greater...
-
SNARKs for C
- Referenced in 25 articles
[sw14604]
- Snarks for C: verifying program executions succinctly and...
-
GitHub
- Referenced in 2766 articles
[sw23170]
- GitHub (originally known as Logical Awesome LLC)[3...