Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256210729> ?p ?o ?g. }
- W4256210729 endingPage "68" @default.
- W4256210729 startingPage "55" @default.
- W4256210729 abstract "Mechanism design is the study of algorithm design where the inputs to the algorithm are controlled by strategic agents, who must be incentivized to faithfully report them. Unlike typical programmatic properties, it is not sufficient for algorithms to merely satisfy the property, incentive properties are only useful if the strategic agents also believe this fact. Verification is an attractive way to convince agents that the incentive properties actually hold, but mechanism design poses several unique challenges: interesting properties can be sophisticated relational properties of probabilistic computations involving expected values, and mechanisms may rely on other probabilistic properties, like differential privacy, to achieve their goals. We introduce a relational refinement type system, called HOARe2, for verifying mechanism design and differential privacy. We show that HOARe2 is sound w.r.t. a denotational semantics, and correctly models (epsilon,delta)-differential privacy; moreover, we show that it subsumes DFuzz, an existing linear dependent type system for differential privacy. Finally, we develop an SMT-based implementation of HOARe2 and use it to verify challenging examples of mechanism design, including auctions and aggregative games, and new proposed examples from differential privacy." @default.
- W4256210729 created "2022-05-12" @default.
- W4256210729 creator A5021948795 @default.
- W4256210729 creator A5033286190 @default.
- W4256210729 creator A5033447950 @default.
- W4256210729 creator A5055058246 @default.
- W4256210729 creator A5057693522 @default.
- W4256210729 creator A5075577852 @default.
- W4256210729 date "2015-01-14" @default.
- W4256210729 modified "2023-10-14" @default.
- W4256210729 title "Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy" @default.
- W4256210729 cites W1578634556 @default.
- W4256210729 cites W1831716037 @default.
- W4256210729 cites W1873763122 @default.
- W4256210729 cites W1993116423 @default.
- W4256210729 cites W2005192022 @default.
- W4256210729 cites W2009776842 @default.
- W4256210729 cites W2010523825 @default.
- W4256210729 cites W2012992615 @default.
- W4256210729 cites W2027189949 @default.
- W4256210729 cites W2027193703 @default.
- W4256210729 cites W2027584005 @default.
- W4256210729 cites W2039634593 @default.
- W4256210729 cites W2045900383 @default.
- W4256210729 cites W2048536148 @default.
- W4256210729 cites W2050509196 @default.
- W4256210729 cites W2054039722 @default.
- W4256210729 cites W2059199596 @default.
- W4256210729 cites W2075208090 @default.
- W4256210729 cites W2096870293 @default.
- W4256210729 cites W2097061283 @default.
- W4256210729 cites W2098965416 @default.
- W4256210729 cites W2101085206 @default.
- W4256210729 cites W2109059328 @default.
- W4256210729 cites W2113939008 @default.
- W4256210729 cites W2120172501 @default.
- W4256210729 cites W2128303158 @default.
- W4256210729 cites W2128529251 @default.
- W4256210729 cites W2139692878 @default.
- W4256210729 cites W2141955346 @default.
- W4256210729 cites W2142495422 @default.
- W4256210729 cites W2145108549 @default.
- W4256210729 cites W2149996206 @default.
- W4256210729 cites W2150998213 @default.
- W4256210729 cites W2161011930 @default.
- W4256210729 cites W2170528665 @default.
- W4256210729 cites W2295266283 @default.
- W4256210729 cites W2295923951 @default.
- W4256210729 cites W2296725671 @default.
- W4256210729 cites W2508573783 @default.
- W4256210729 cites W2911978475 @default.
- W4256210729 cites W3038013766 @default.
- W4256210729 cites W3145555275 @default.
- W4256210729 cites W342302233 @default.
- W4256210729 cites W4240226860 @default.
- W4256210729 cites W4252251463 @default.
- W4256210729 doi "https://doi.org/10.1145/2775051.2677000" @default.
- W4256210729 hasPublicationYear "2015" @default.
- W4256210729 type Work @default.
- W4256210729 citedByCount "7" @default.
- W4256210729 countsByYear W42562107292017 @default.
- W4256210729 countsByYear W42562107292018 @default.
- W4256210729 countsByYear W42562107292019 @default.
- W4256210729 countsByYear W42562107292023 @default.
- W4256210729 crossrefType "journal-article" @default.
- W4256210729 hasAuthorship W4256210729A5021948795 @default.
- W4256210729 hasAuthorship W4256210729A5033286190 @default.
- W4256210729 hasAuthorship W4256210729A5033447950 @default.
- W4256210729 hasAuthorship W4256210729A5055058246 @default.
- W4256210729 hasAuthorship W4256210729A5057693522 @default.
- W4256210729 hasAuthorship W4256210729A5075577852 @default.
- W4256210729 hasBestOaLocation W42562107292 @default.
- W4256210729 hasConcept C10138342 @default.
- W4256210729 hasConcept C105795698 @default.
- W4256210729 hasConcept C111472728 @default.
- W4256210729 hasConcept C11413529 @default.
- W4256210729 hasConcept C127413603 @default.
- W4256210729 hasConcept C138885662 @default.
- W4256210729 hasConcept C144237770 @default.
- W4256210729 hasConcept C146978453 @default.
- W4256210729 hasConcept C153517567 @default.
- W4256210729 hasConcept C154945302 @default.
- W4256210729 hasConcept C162324750 @default.
- W4256210729 hasConcept C163239763 @default.
- W4256210729 hasConcept C182306322 @default.
- W4256210729 hasConcept C184337299 @default.
- W4256210729 hasConcept C189950617 @default.
- W4256210729 hasConcept C199360897 @default.
- W4256210729 hasConcept C23130292 @default.
- W4256210729 hasConcept C33923547 @default.
- W4256210729 hasConcept C41008148 @default.
- W4256210729 hasConcept C49937458 @default.
- W4256210729 hasConcept C80444323 @default.
- W4256210729 hasConcept C89611455 @default.
- W4256210729 hasConcept C93226319 @default.
- W4256210729 hasConceptScore W4256210729C10138342 @default.
- W4256210729 hasConceptScore W4256210729C105795698 @default.
- W4256210729 hasConceptScore W4256210729C111472728 @default.