| A survey of autonomic communications S Dobson, S Denazis, A Fernández, D Gaïti, E Gelenbe, F Massacci, ... ACM Transactions on Autonomous and Adaptive Systems (TAAS) 1 (2), 223-259, 2006 | 930 | 2006 |
| Modeling security requirements through ownership, permission and delegation P Giorgini, F Massacci, J Mylopoulos, N Zannone 13th IEEE International Conference on Requirements Engineering (RE'05), 167-176, 2005 | 283 | 2005 |
| Logical cryptanalysis as a SAT problem F Massacci, L Marraro Journal of Automated Reasoning 24 (1-2), 165, 2000 | 242 | 2000 |
| EXPTIME tableaux for ALC FM Donini, F Massacci Artificial Intelligence 124 (1), 87-138, 2000 | 207 | 2000 |
| Comparing vulnerability severity and exploits using case-control studies L Allodi, F Massacci ACM Transactions on Information and System Security (TISSEC) 17 (1), 1-20, 2014 | 170 | 2014 |
| Comparing vulnerability severity and exploits using case-control studies L Allodi, F Massacci ACM Transactions on Information and System Security (TISSEC) 17 (1), 1-20, 2014 | 170 | 2014 |
| Requirements engineering meets trust management: Model, methodology, and reasoning P Giorgini, F Massacci, J Mylopoulos, N Zannone Trust Management: Second International Conference, iTrust 2004, Oxford, UK …, 2004 | 138 | 2004 |
| Strongly analytic tableaux for normal modal logics F Massacci Cade 814, 723-737, 1994 | 134 | 1994 |
| An access control framework for business processes for web services H Koshutanski, F Massacci Proceedings of the 2003 ACM workshop on XML security, 15-24, 2003 | 125 | 2003 |
| Combining deduction and model checking into tableaux and algorithms for converse-PDL G De Giacomo, F Massacci Information and Computation 162 (1-2), 117-137, 2000 | 120 | 2000 |
| Using a security requirements engineering methodology in practice: the compliance with the Italian data protection legislation F Massacci, M Prest, N Zannone Computer Standards & Interfaces 27 (5), 445-455, 2005 | 119 | 2005 |
| Stadyna: Addressing the problem of dynamic code updates in the security analysis of android applications Y Zhauniarovich, M Ahmad, O Gadyatskaya, B Crispo, F Massacci Proceedings of the 5th ACM Conference on Data and Application Security and …, 2015 | 116 | 2015 |
| Integrating Security and Software Engineering: Advances and Future Visions: Advances and Future Visions H Mouratidis, P Giorgini Igi Global, 2006 | 114 | 2006 |
| Requirements engineering for trust management: model, methodology, and reasoning P Giorgini, F Massacci, J Mylopoulos, N Zannone International Journal of Information Security 5, 257-274, 2006 | 111 | 2006 |
| Single step tableaux for modal logics F Massacci Journal of Automated Reasoning 24, 319-364, 2000 | 110 | 2000 |
| Security and trust requirements engineering P Giorgini, F Massacci, N Zannone Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial …, 2005 | 102 | 2005 |
| Verifying the SET registration protocols G Bella, F Massacci, LC Paulson IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003 | 100 | 2003 |
| Verifying security protocols as planning in logic programming L Carlucci Aiello, F Massacci ACM Transactions on Computational Logic (TOCL) 2 (4), 542-580, 2001 | 99 | 2001 |
| Anatomy of exploit kits: Preliminary analysis of exploit kits as software artefacts V Kotov, F Massacci Engineering Secure Software and Systems: 5th International Symposium, ESSoS …, 2013 | 95 | 2013 |
| Security-by-contract: Toward a semantics for digital signatures on mobile code N Dragoni, F Massacci, K Naliuka, I Siahaan Public Key Infrastructure: 4th European PKI Workshop: Theory and Practice …, 2007 | 93 | 2007 |
Nicola ZannoneEindhoven University of TechnologyVerified email at tue.nl
