Fabio Massacci

Cited by

	All	Since 2015
Citations	7469	2503
h-index	46	26
i10-index	145	71

580

290

145

435

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202024 26 34 79 93 112 112 87 198 244 383 462 574 541 532 523 427 422 457 403 441 470 385 342

Co-authors

Nicola ZannoneEindhoven University of TechnologyVerified email at tue.nl
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Luca AllodiEindhoven University of TechnologyVerified email at tue.nl
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
Federica PaciDepartment of Informatics, University of VeronaVerified email at soton.ac.uk
Olga GadyatskayaAssistant professor at LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Nicola DragoniProfessor in Secure Pervasive Computing, PhDVerified email at dtu.dk
Hristo KoshutanskiAtos Research & InnovationVerified email at atos.net
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Giampaolo BellaUniversity of CataniaVerified email at dmi.unict.it
Julian WilliamsProfessor of Accounting and Finance, Durham UniversityVerified email at durham.ac.uk
Nataliia BielovaResearcher (chargé de recherche) at INRIA Sophia AntipolisVerified email at inria.fr
Katsiaryna LabunetsTPM, TU Delft, NetherlandsVerified email at tudelft.nl
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Ida SiahaanCanadian Institute of Cyber SecurityVerified email at unb.ca
Artsiom YautsiukhinIIT-CNRVerified email at iit.cnr.it
Yudistira AsnarInstitut Teknologi BandungVerified email at stei.itb.ac.id
Francesco M. DoniniFull Professor, Università della Tuscia - ViterboVerified email at unitus.it
Woohyun ShimKorea Institute of Public AdministrationVerified email at kipa.re.kr
Stanislav DashevskyiForescout TechnologiesVerified email at forescout.com

Fabio Massacci

Chair at Vrije Universiteit, Netherlands and prof. at University of Trento, Italy

Verified email at ieee.org - Homepage

risk analysis security security economics empirical software engineering requirements engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	844	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	259	2005
EXPTIME tableaux for ALC FM Donini, F Massacci Artificial Intelligence 124 (1), 87-138, 2000	190	2000
Logical cryptanalysis as a SAT problem F Massacci, L Marraro Journal of Automated Reasoning 24 (1-2), 165-203, 2000	187	2000
Requirements engineering meets trust management P Giorgini, F Massacci, J Mylopoulos, N Zannone International Conference on Trust Management, 176-190, 2004	132	2004
Strongly analytic tableaux for normal modal logics F Massacci International Conference on Automated Deduction, 723-737, 1994	125	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	121	2003
Integrating Security and Software Engineering: Advances and Future Visions: Advances and Future Visions H Mouratidis Igi Global, 2006	114	2006
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	112	2005
Requirements engineering for trust management: model, methodology, and reasoning P Giorgini, F Massacci, J Mylopoulos, N Zannone International Journal of Information Security 5 (4), 257-274, 2006	107	2006
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	107	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	106	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	106	2014
Single step tableaux for modal logics F Massacci Journal of Automated Reasoning 24 (3), 319-364, 2000	104	2000
Verifying security protocols as planning in logic programming L Carlucci Aiello, F Massacci ACM Transactions on Computational Logic (TOCL) 2 (4), 542-580, 2001	96	2001
Security and trust requirements engineering P Giorgini, F Massacci, N Zannone Foundations of Security Analysis and Design III, 237-272, 2005	94	2005
Verifying the SET registration protocols G Bella, F Massacci, LC Paulson IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003	90	2003
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	85	2015
Security-by-contract: Toward a semantics for digital signatures on mobile code N Dragoni, F Massacci, K Naliuka, I Siahaan European Public Key Infrastructure Workshop, 297-312, 2007	85	2007
Generalized XML security views G Kuper, F Massacci, N Rassadko Proceedings of the tenth ACM symposium on Access control models and …, 2005	82	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors