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
- PICCO
- A formal treatment of the role of verified compilers in secure computation
- EasyUC
- HyCC
- JIFF
- Obliv-C
- TinyGarble
- Frigate
This page was built for software: Wysteria
