VC3

MaRDI QIDQ34862swMATHFDO

Official website http://ieeexplore.ieee.org/document/7163017/

Cited in

(8)

• Program synthesis for interactive-security systems
• Privacy-preserving computation in cyber-physical-social systems: a survey of the state-of-the-art and perspectives
• EROS
• Fable
• Laminar
• Moat
• Privtrans
• Formal abstractions for attested execution secure processors

This page was built for software: VC3