Pedro R. D'Argenio

Filters: Author is Gilles Barthe [Clear All Filters]

2018

H. Hermanns, Biewer, S., D'Argenio, P. R., and Köhl, M. A., “Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions”, in LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, vol. 57, G. Barthe, Sutcliffe, G., and Veanes, M., Eds. EasyChair, 2018, pp. 1–17.

paper-338.pdf (3.06 MB)

2017

P. R. D'Argenio, Barthe, G., Biewer, S., Finkbeiner, B., and Hermanns, H., “Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs”, in 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, vol. 10201, H. Yang, Ed. Springer, 2017, pp. 83–110.

paper-312.pdf (429.13 KB)

2016

G. Barthe, D'Argenio, P. R., Finkbeiner, B., and Hermanns, H., “Facets of Software Doping”, in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II, vol. 9953, T. Margaria and Steffen, B., Eds. Springer, 2016, pp. 601–608.

paper-305.pdf (416.75 KB)

2011

G. Barthe, D'Argenio, P. R., and Rezk, T., “Secure information flow by self-composition”, Mathematical Structures in Computer Science, vol. 21, no. 6, pp. 1207-1252, 2011.

paper-9.pdf (411.05 KB)

2004

G. Barthe, D'Argenio, P. R., and Rezk, T., “Secure Information Flow by Self-Composition”, in 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 2004, pp. 100-114.

paper-27.pdf (1.18 MB)