Salim Yahia Kissi

According to our database, Salim Yahia Kissi authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Security Vulnerabilities Detection Through Assertion-Based Approach.

Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Detection of leaks through exception mechanisms.

Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

2021

Detection of Security Vulnerabilities Induced by Integer Errors.

Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa

Proceedings of the 16th International Conference on Software Technologies, 2021