swMATH41618MaRDI QIDQ5972941FDOQ5972941
Author name not available (Why is that?)
Official website: https://www.cs.umd.edu/~aseem/wysteria-tr.pdf
Cited In (22)
- A theory of RPC calculi for client-server model
- High-precision secure computation of satellite collision probabilities
- VIFF
- TASTY
- FairplayMP
- VMCrypt
- Ur/Web
- Ocsigen
- Hop.js
- Hop
- Sharemind
- JustGarble
- ObliVM
- ABY
- Frigate
- PICCO
- A formal treatment of the role of verified compilers in secure computation
- EasyUC
- HyCC
- JIFF
- Obliv-C
- TinyGarble
This page was built for software: Wysteria
