JChainz: Automatic Detection of Deserialization Vulnerabilities for the Java Language. - Luca Buccioli; Stefano Cristalli; Edoardo Vignati; Lorenzo Nava; Daniele Badagliacca; Danilo Bruschi; Long Lu; Andrea Lanzi (STM, 2022)