Synthesis of privacy-preserving systems
From MaRDI portal
Publication:6604659
DOI10.4230/LIPICS.FSTTCS.2022.42MaRDI QIDQ6604659
Ofer Leshkowitz, Orna Kupferman
Publication date: 12 September 2024
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Related Items (2)
A game-theoretic approach to indistinguishability of winning objectives as user privacy ⋮ Synthesis with privacy against an observer
This page was built for publication: Synthesis of privacy-preserving systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6604659)
