| 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, ... Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 131 | 2012 |
| Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC A Calvi, S Ranise, L Vigano 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | 15 | 2010 |
| An automated approach for testing the security of web applications against chained attacks A Calvi, L Viganò Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2095-2102, 2016 | 12 | 2016 |
| Workflow and access control reloaded: a declarative specification framework for the automated analysis of Web services M Barletta, A Calvi, S Ranise, L Vigano, L Zanetti Scalable Computing: Practice and Experience 12 (1), 1-20, 2011 | 10 | 2011 |
| WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications M Barletta, A Calvi, S Ranise, L Vigano, L Zanetti 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | 3 | 2010 |
| Evaluation of ASLan Mutation Operators J Oudinet, A Calvi, M Büchler Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013 | 1 | 2013 |
| Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) A Calvi, S Ranise, L Viganò arXiv preprint arXiv:1009.4625, 2010 | 1 | 2010 |
