Concolic execution engine for PHP vulnerability detection

1 Research Project Grant position

(Deadline May 5^th, 2020 12:00 )

Fields

Symbolic execution, vulnerability testing, software verification

Activity

The ideal candidate will design and develop an engine for the symbolic execution of PHP applications. Moreover, by means of such execution engine, the candidate will develop a concolic testing framework.

Profile

The ideal candidate must prove his/her competence in at least one of the following programming languages: Python, PHP, JavaScript. Moreover, the evaluation will take into account any further knowledge of symbolic execution and concolic testing.

Project

“VeriOSS: a security-by-smart contract verification framework for Open Source Software”

Formal requirements

High school diploma (Diploma di istruzione secondaria superiore);
Being enrolled in a computer science or computer engineering course (undergraduate level);
Knowledge of at least one of the following programming languages: Python, PHP, JavaScript;
Excellent knowledge of English, both written and spoken.

Duration

6 months

Gross amount

2500 €

Job Research Unit:

SysMA

Job Contract Type:

Borsa a progetto - Project fellowship

Full call