Detection of Security Vulnerabilities Induced by Integer Errors. - Salim Yahia Kissi; Yassamine Seladji; Rabéa Ameur-Boulifa (ICSOFT, 2021)

Detection of leaks through exception mechanisms. - Salim Yahia Kissi; Yassamine Seladji; Rabéa Ameur-Boulifa (ICAASE, 2022)

Security Vulnerabilities Detection Through Assertion-Based Approach. - Salim Yahia Kissi; Rabéa Ameur-Boulifa; Yassamine Seladji (TASE, 2022)