Wysteria

swMATH41618MaRDI QIDQ5972941FDOQ5972941

Author name not available (Why is that?)

Cited In (3)

• High-Precision Secure Computation of Satellite Collision Probabilities
• A theory of RPC calculi for client–server model
• A formal treatment of the role of verified compilers in secure computation

This page was built for software: Wysteria