Synthesis with privacy against an observer

DOI10.1007/978-3-031-57228-9_13MaRDI QIDQ6629463

Ofer Leshkowitz, Orna Kupferman, Naama Shamash Halevy

Publication date: 30 October 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Synthesis of obfuscation policies to ensure privacy and utility
• The complexity of two-player games of incomplete information
• The temporal semantics of concurrent programs
• Reasoning about infinite computations
• Synthesis from hyperproperties
• Candidate indistinguishability obfuscation and functional encryption for all circuits
• Graph Games and Reactive Synthesis
• Bounded Synthesis
• Open Implication
• Energy Parity Games
• Algorithms for Omega-Regular Games with Imperfect Information
• Deciding parity games in quasipolynomial time
• Supervisory Control for Opacity
• Why These Automata Types?
• From linear time to branching time
• Synthesis from LTL Specifications with Mean-Payoff Objectives
• On the (im)possibility of obfuscating programs
• Synthesis of privacy-preserving systems

This page was built for publication: Synthesis with privacy against an observer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6629463)