Cyber Security: Formal models and tools for the protection of digital services and electronic payment: Formal Methods and Technological Tools for modeling and simulating cyber-attacks scenarios to Distributed Digital payment services

"The reserach activity mainly concerns the following two topics of the research project Cyber Securit -Protection of digital services and electronic payments : 

(1) Analysis of threats and attack typologies in payment processes and services. In particular, Definition of distributed cyber-attack scenario involving networked enterprises cooperating within business processes involving digital payments 

(2) Definition of software and hardware specifications and of the architecture of a system for the virtualization and simulation of digital payment services. "

Research Fields

Engineering - Computer engineering

Eligibility criteria

Interview and CV Evaluation

Selection process

The contents of the interview are: i) learning and research activities carried out by the candidate; ii) theoretical and methodological issues and applications related to the scientific field and the specific research topic; iii) scientifc english test.


Programme Description
Number of awards per year1
Annual budget23333
Frequency of callsMENSILE
International mobility required ?no
Eligible destination country/ies for fellowsItaly
Eligibility of fellows: country/ies of residenceItaly
Eligibility of fellows: nationality/iesItaly
Website of Fellowship Programmewww.unical.it
Fellowship's Details
Career StageEarly stage researcher or 0-4 yrs (Post graduate)
Research ProfilesNot defined
Employment contract with full social securityno
Total amount per fellowship per year23333
Currencyeuro
Covers salaryyes
Covers travel and subsistenceno
Covers research costsyes
Maximum duration of fellowship12

Application deadline

03/03/2015