VC3

swMATH23078MaRDI QIDQ34862FDOQ34862

Author name not available (Why is that?)

Cited In (3)

• Formal Abstractions for Attested Execution Secure Processors
• Privacy-preserving computation in cyber-physical-social systems: a survey of the state-of-the-art and perspectives
• Program synthesis for interactive-security systems

This page was built for software: VC3