Formal modeling and verification of a blockchain-based P2Knowledge protocol

1 Research Project Grant position

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

Fields

Blockchain technologies, Process Calculi, Formal modeling, Protocol verification

Activity

The candidate will model the P2Knowledge protocol that is at the basis of the VeriOSS project by using a suitable process calculus and verify its security properties by exploiting an automatic tool.

Profile

The candidate should have a good knowledge of the blockchain and smart contracts technologies. Also she should prove to be acquainted with the theory of process calculi and of their usage for the formal modeling and verification of cryptographic protocols. The knowledge and experience with tools for the automatic verification of protocols will be evaluated.

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);
Good knowledge of: blockchain technologies; theory of process calculi and their usage for the specification and verification of protocols;
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