Pages that link to "Item:Q2814714"
From MaRDI portal
The following pages link to Certificate Validation in Secure Computation and Its Use in Verifiable Linear Programming (Q2814714):
Displaying 3 items.
- \(\mathcal H\)-OCSP: A protocol to reduce the processing burden in online certificate status validation (Q1020575) (← links)
- Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation (Q2822680) (← links)
- Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation (Q4975176) (← links)