@inproceedings {192119, author = {Boris Glavic and Sven K{\"o}hler and Sean Riddle and Bertram Lud{\"a}scher}, title = {Towards Constraint-based Explanations for Answers and {Non-Answers}}, booktitle = {7th USENIX Workshop on the Theory and Practice of Provenance (TaPP 15)}, year = {2015}, address = {Edinburgh, Scotland}, url = {https://www.usenix.org/conference/tapp15/workshop-program/presentation/glavic}, publisher = {USENIX Association}, month = jul } @inproceedings {184667, author = {Sean Riddle and Sven K{\"o}hler and Bertram Lud{\"a}scher}, title = {Towards Constraint Provenance Games}, booktitle = {6th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2014)}, year = {2014}, address = {Cologne}, url = {https://www.usenix.org/conference/tapp2014/agenda/presentation/riddle}, publisher = {USENIX Association}, month = jun } @inproceedings {180753, author = {Saumen Dey and Sean Riddle and Bertram Lud{\"a}scher}, title = {Provenance Analyzer: Exploring Provenance Semantics with Logic Rules}, booktitle = {5th USENIX Workshop on the Theory and Practice of Provenance (TaPP 13)}, year = {2013}, address = {Lombard, IL}, url = {https://www.usenix.org/conference/tapp13/technical-sessions/presentation/dey}, publisher = {USENIX Association}, month = apr } @inproceedings {268546, author = {Elliot Proebstel and Sean Riddle and Francis Hsu and Justin Cummins and Freddie Oakley and Tom Stanionis and Matt Bishop}, title = {An Analysis of the Hart Intercivic {DAU} {eSlate}}, booktitle = {2007 USENIX/ACCURATE Electronic Voting Technology Workshop (EVT 07)}, year = {2007}, address = {Boston, MA}, url = {https://www.usenix.org/conference/evt-07/analysis-hart-intercivic-dau-eslate}, publisher = {USENIX Association}, month = aug }