Concolic execution engine for PHP vulnerability detection

1 Research Project Grant position
(Deadline May 5th, 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

Application

Apply ONLINE only.

Guidelines for applying through the PICA platform (Italian | English).
Before filling in the application form, please read thoroughly the full call and collect all the files you may need:

Info

  • Personal info and contact info (compulsory);
  • University degree (compulsory).

Attachments

  • The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
  • Your CV in English (compulsory).
Contacts: