Marco Rocchetto
Marco Rocchetto
V-Research
Verified email at v-research.it - Homepage
Title
Cited by
Cited by
Year
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures
A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...
International Conference on Tools and Algorithms for the Construction andá…, 2012
1182012
On attacker models and profiles for cyber-physical systems
M Rocchetto, NO Tippenhauer
European Symposium on Research in Computer Security, 427-449, 2016
362016
CPDY: extending the Dolev-Yao attacker with physical-layer interactions
M Rocchetto, NO Tippenhauer
International Conference on Formal Engineering Methods, 175-192, 2016
262016
Towards formal security analysis of industrial control systems
M Rocchetto, NO Tippenhauer
Proceedings of the 2017 ACM on Asia Conference on Computer andá…, 2017
222017
Model-based detection of CSRF
M Rocchetto, M Ochoa, MT Dashti
IFIP International Information Security Conference, 30-43, 2014
162014
Formal analysis of vulnerabilities of web applications based on SQL injection
F De Meo, M Rocchetto, L Vigan˛
International Workshop on Security and Trust Management, 179-195, 2016
42016
Challenges and opportunities for model-based security risk assessment of cyber-physical systems
M Rocchetto, A Ferrari, V Senni
Resilience of Cyber-Physical Systems, 25-47, 2019
22019
An interpolation-based method for the verification of security protocols
M Rocchetto, L Vigan˛, M Volpe
Journal of Computer Security 25 (6), 463-510, 2017
22017
An interpolation-based method for the verification of security protocols
M Rocchetto, L Vigan˛, M Volpe
Journal of Computer Security 25 (6), 463-510, 2017
22017
Using interpolation for the verification of security protocols
M Rocchetto, L Vigano, M Volpe, G Dalle Vedove
International Workshop on Security and Trust Management, 99-114, 2013
22013
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems
K SantacÓ, M Cristani, M Rocchetto, L Vigan˛
Multi-Agent Systems and Agreement Technologies, 261-276, 2016
12016
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)
F De Meo, M Rocchetto, L Vigan˛
arXiv preprint arXiv:1605.00358, 2016
12016
Methods and tools for design time and runtime formal analysis of security protocols and web applications
M Rocchetto
University of Verona, 2011
2011
Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems
A Ferrari, M Rocchetto, V Senni
The system can't perform the operation now. Try again later.
Articles 1–14