Applications of computational intelligence for static software checking against memory corruption vulnerabilities

Marcos Alvares; Tshilidzi Marwala; Fernando Buarque De Lima Neto

doi:10.1109/CICYBS.2013.6597207

Applications of computational intelligence for static software checking against memory corruption vulnerabilities

Marcos Alvares, Tshilidzi Marwala, Fernando Buarque De Lima Neto

Faculty of Engineering and the Built Environment

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Citations (Scopus)

Abstract

We are living in an era where technology has become an essential resource for modern human welfare. Critical services like water supply, energy and transportation are controlled by computational systems. These systems must be reliable and constantly audited against software and hardware failures and malicious attacks. As a preventive approach against software vulnerabilities on critical systems, this research presents applications of computational intelligence to program analysis for vulnerability checking. This paper shows that computational intelligence techniques can successfully uncover several arithmetic and memory manipulation vulnerabilities.

Original language	English
Title of host publication	Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013
Pages	59-66
Number of pages	8
DOIs	https://doi.org/10.1109/CICYBS.2013.6597207
Publication status	Published - 2013
Event	2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 - Singapore, Singapore Duration: 16 Apr 2013 → 19 Apr 2013

Publication series

Name	Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013

Conference

Conference	2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013
Country/Territory	Singapore
City	Singapore
Period	16/04/13 → 19/04/13

ASJC Scopus subject areas

Artificial Intelligence
Software

Access to Document

10.1109/CICYBS.2013.6597207

Cite this

Alvares, M., Marwala, T., & De Lima Neto, F. B. (2013). Applications of computational intelligence for static software checking against memory corruption vulnerabilities. In Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 (pp. 59-66). Article 6597207 (Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013). https://doi.org/10.1109/CICYBS.2013.6597207

Alvares, Marcos ; Marwala, Tshilidzi ; De Lima Neto, Fernando Buarque. / Applications of computational intelligence for static software checking against memory corruption vulnerabilities. Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013. 2013. pp. 59-66 (Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013).

@inproceedings{68a8453c5335426ea551862cdc2a3905,

title = "Applications of computational intelligence for static software checking against memory corruption vulnerabilities",

abstract = "We are living in an era where technology has become an essential resource for modern human welfare. Critical services like water supply, energy and transportation are controlled by computational systems. These systems must be reliable and constantly audited against software and hardware failures and malicious attacks. As a preventive approach against software vulnerabilities on critical systems, this research presents applications of computational intelligence to program analysis for vulnerability checking. This paper shows that computational intelligence techniques can successfully uncover several arithmetic and memory manipulation vulnerabilities.",

author = "Marcos Alvares and Tshilidzi Marwala and {De Lima Neto}, {Fernando Buarque}",

year = "2013",

doi = "10.1109/CICYBS.2013.6597207",

language = "English",

isbn = "9781467358675",

series = "Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013",

pages = "59--66",

booktitle = "Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013",

note = "2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 ; Conference date: 16-04-2013 Through 19-04-2013",

}

Alvares, M, Marwala, T & De Lima Neto, FB 2013, Applications of computational intelligence for static software checking against memory corruption vulnerabilities. in Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013., 6597207, Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013, pp. 59-66, 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013, Singapore, Singapore, 16/04/13. https://doi.org/10.1109/CICYBS.2013.6597207

Applications of computational intelligence for static software checking against memory corruption vulnerabilities. / Alvares, Marcos; Marwala, Tshilidzi; De Lima Neto, Fernando Buarque.
Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013. 2013. p. 59-66 6597207 (Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Applications of computational intelligence for static software checking against memory corruption vulnerabilities

AU - Alvares, Marcos

AU - Marwala, Tshilidzi

AU - De Lima Neto, Fernando Buarque

PY - 2013

Y1 - 2013

N2 - We are living in an era where technology has become an essential resource for modern human welfare. Critical services like water supply, energy and transportation are controlled by computational systems. These systems must be reliable and constantly audited against software and hardware failures and malicious attacks. As a preventive approach against software vulnerabilities on critical systems, this research presents applications of computational intelligence to program analysis for vulnerability checking. This paper shows that computational intelligence techniques can successfully uncover several arithmetic and memory manipulation vulnerabilities.

AB - We are living in an era where technology has become an essential resource for modern human welfare. Critical services like water supply, energy and transportation are controlled by computational systems. These systems must be reliable and constantly audited against software and hardware failures and malicious attacks. As a preventive approach against software vulnerabilities on critical systems, this research presents applications of computational intelligence to program analysis for vulnerability checking. This paper shows that computational intelligence techniques can successfully uncover several arithmetic and memory manipulation vulnerabilities.

UR - http://www.scopus.com/inward/record.url?scp=84885645222&partnerID=8YFLogxK

U2 - 10.1109/CICYBS.2013.6597207

DO - 10.1109/CICYBS.2013.6597207

M3 - Conference contribution

AN - SCOPUS:84885645222

SN - 9781467358675

T3 - Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013

SP - 59

EP - 66

BT - Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013

T2 - 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013

Y2 - 16 April 2013 through 19 April 2013

ER -

Alvares M, Marwala T, De Lima Neto FB. Applications of computational intelligence for static software checking against memory corruption vulnerabilities. In Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013. 2013. p. 59-66. 6597207. (Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013). doi: 10.1109/CICYBS.2013.6597207

Applications of computational intelligence for static software checking against memory corruption vulnerabilities

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this