Publication | Closed Access

Differential privacy for symbolic systems with application to Markov Chains

Privacy ProtectionEngineeringInformation SecurityFormal MethodsData PrivacyPrivacy SystemPrivacy-preserving CommunicationPrivacy EngineeringComputer ScienceFormal VerificationDifferential PrivacyData SecurityCryptography