Pedro R. D'argenio
AuthID: R-00K-HHY
1
TITLE: Facets of Software Doping PDF
AUTHORS: Gilles Barthe ; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.10154
AUTHORS: Gilles Barthe ; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.10154
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2
TITLE: Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs
AUTHORS: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2017, SOURCE: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
AUTHORS: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2017, SOURCE: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
INDEXED IN: DBLP
DBLP3
TITLE: Is your software on dope? Formal analysis of surreptitiously "enhanced" programs PDF
AUTHORS: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1702.04693
AUTHORS: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1702.04693
INDEXED IN: DBLP arXiv
DBLP arXiv4
TITLE: Facets of Software Doping
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2016, SOURCE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, VOLUME: 9953
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2016, SOURCE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, VOLUME: 9953
INDEXED IN: DBLP
DBLP5
TITLE: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
AUTHORS: Kaustubh R Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R D'Argenio;
PUBLISHED: 2013, SOURCE: QEST, VOLUME: 8054
AUTHORS: Kaustubh R Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R D'Argenio;
PUBLISHED: 2013, SOURCE: QEST, VOLUME: 8054
INDEXED IN: DBLP
DBLP6
TITLE: Secure information flow by self-composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
INDEXED IN: DBLP
DBLP7
TITLE: Secure Information Flow by Self-Composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2004, SOURCE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
INDEXED IN: DBLP
DBLP