Matches in SemOpenAlex for { <https://semopenalex.org/work/W3044764561> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3044764561 abstract "Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based on a judicious use of randomness. However, reasoning about randomized programs is difficult and error prone. For this reason, several techniques have been recently proposed to support designer in proving programs differentially private or in finding violations to it. In this work we propose a technique based on symbolic execution for reasoning about differential privacy. Symbolic execution is a classic technique used for testing, counterexample generation and to prove absence of bugs. Here we use symbolic execution to support these tasks specifically for differential privacy. To achieve this goal, we leverage two ideas that have been already proven useful in formal reasoning about differential privacy: relational reasoning and probabilistic coupling. Our technique integrates these two ideas and shows how such a combination can be used to both verify and find violations to differential privacy." @default.
- W3044764561 created "2020-07-29" @default.
- W3044764561 creator A5021948795 @default.
- W3044764561 creator A5045248140 @default.
- W3044764561 creator A5046383149 @default.
- W3044764561 date "2021-03-24" @default.
- W3044764561 modified "2023-09-26" @default.
- W3044764561 title "Coupled Relational Symbolic Execution for Differential Privacy" @default.
- W3044764561 cites W1557855942 @default.
- W3044764561 cites W1597181838 @default.
- W3044764561 cites W1668939463 @default.
- W3044764561 cites W2027193703 @default.
- W3044764561 cites W2040669676 @default.
- W3044764561 cites W2042946599 @default.
- W3044764561 cites W2047749307 @default.
- W3044764561 cites W2097061283 @default.
- W3044764561 cites W2100877271 @default.
- W3044764561 cites W2101512909 @default.
- W3044764561 cites W2126634848 @default.
- W3044764561 cites W2295961883 @default.
- W3044764561 cites W2462334487 @default.
- W3044764561 cites W2565203757 @default.
- W3044764561 cites W2572002660 @default.
- W3044764561 cites W2626769593 @default.
- W3044764561 cites W2883434572 @default.
- W3044764561 cites W2889785340 @default.
- W3044764561 cites W2897540200 @default.
- W3044764561 cites W2925599298 @default.
- W3044764561 cites W2963506795 @default.
- W3044764561 cites W2971047472 @default.
- W3044764561 cites W2975856493 @default.
- W3044764561 cites W2980019266 @default.
- W3044764561 cites W3029173733 @default.
- W3044764561 cites W3098424123 @default.
- W3044764561 cites W3100637409 @default.
- W3044764561 cites W3103364808 @default.
- W3044764561 cites W3106186972 @default.
- W3044764561 cites W3123629616 @default.
- W3044764561 cites W3125964411 @default.
- W3044764561 cites W55681943 @default.
- W3044764561 doi "https://doi.org/10.26226/morressier.604907f41a80aac83ca25d1b" @default.
- W3044764561 hasPublicationYear "2021" @default.
- W3044764561 type Work @default.
- W3044764561 sameAs 3044764561 @default.
- W3044764561 citedByCount "0" @default.
- W3044764561 crossrefType "posted-content" @default.
- W3044764561 hasAuthorship W3044764561A5021948795 @default.
- W3044764561 hasAuthorship W3044764561A5045248140 @default.
- W3044764561 hasAuthorship W3044764561A5046383149 @default.
- W3044764561 hasBestOaLocation W30447645612 @default.
- W3044764561 hasConcept C108827166 @default.
- W3044764561 hasConcept C11171543 @default.
- W3044764561 hasConcept C124101348 @default.
- W3044764561 hasConcept C127413603 @default.
- W3044764561 hasConcept C146978453 @default.
- W3044764561 hasConcept C15744967 @default.
- W3044764561 hasConcept C199360897 @default.
- W3044764561 hasConcept C23130292 @default.
- W3044764561 hasConcept C2776095079 @default.
- W3044764561 hasConcept C2777904410 @default.
- W3044764561 hasConcept C2779639559 @default.
- W3044764561 hasConcept C38652104 @default.
- W3044764561 hasConcept C41008148 @default.
- W3044764561 hasConcept C80444323 @default.
- W3044764561 hasConcept C93226319 @default.
- W3044764561 hasConceptScore W3044764561C108827166 @default.
- W3044764561 hasConceptScore W3044764561C11171543 @default.
- W3044764561 hasConceptScore W3044764561C124101348 @default.
- W3044764561 hasConceptScore W3044764561C127413603 @default.
- W3044764561 hasConceptScore W3044764561C146978453 @default.
- W3044764561 hasConceptScore W3044764561C15744967 @default.
- W3044764561 hasConceptScore W3044764561C199360897 @default.
- W3044764561 hasConceptScore W3044764561C23130292 @default.
- W3044764561 hasConceptScore W3044764561C2776095079 @default.
- W3044764561 hasConceptScore W3044764561C2777904410 @default.
- W3044764561 hasConceptScore W3044764561C2779639559 @default.
- W3044764561 hasConceptScore W3044764561C38652104 @default.
- W3044764561 hasConceptScore W3044764561C41008148 @default.
- W3044764561 hasConceptScore W3044764561C80444323 @default.
- W3044764561 hasConceptScore W3044764561C93226319 @default.
- W3044764561 hasLocation W30447645611 @default.
- W3044764561 hasLocation W30447645612 @default.
- W3044764561 hasOpenAccess W3044764561 @default.
- W3044764561 hasPrimaryLocation W30447645611 @default.
- W3044764561 hasRelatedWork W1489085734 @default.
- W3044764561 hasRelatedWork W1843757301 @default.
- W3044764561 hasRelatedWork W2132874521 @default.
- W3044764561 hasRelatedWork W2139478536 @default.
- W3044764561 hasRelatedWork W2587987886 @default.
- W3044764561 hasRelatedWork W2952254478 @default.
- W3044764561 hasRelatedWork W3150939926 @default.
- W3044764561 hasRelatedWork W3194203730 @default.
- W3044764561 hasRelatedWork W4248280766 @default.
- W3044764561 hasRelatedWork W4282834219 @default.
- W3044764561 isParatext "false" @default.
- W3044764561 isRetracted "false" @default.
- W3044764561 magId "3044764561" @default.
- W3044764561 workType "article" @default.