Formal modeling and verification of a blockchain-based P2Knowledge protocol

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

Application

Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.

Info

  • Personal info and contact info (compulsory)
  • Number of your Identity Document (Passport or Identity Card) (compulsory)

Attachments

  • Your CV in English (compulsory)
  • Identity document (Passport or Identity Card) (compulsory)
Contacts: