NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.LO2019

Doping Tests for Cyber-Physical Systems

Sebastian Biewer, Pedro D'Argenio, Holger Hermanns

cs.LO2017

Is your software on dope? Formal analysis of surreptitiously "enhanced" programs

Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer +2