Fabio Massacci

Cited by

	All	Since 2017
Citations	8561	2552
h-index	49	23
i10-index	164	72

600

300

150

450

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202227 28 36 84 96 114 116 100 203 257 383 456 584 542 545 505 437 426 471 421 463 474 407 440 563 203

Public access

View all

49 articles

8 articles

available

not available

Based on funding mandates

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 univr.it
Olga GadyatskayaAssistant professor at LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Nicola DragoniProfessor in Secure Pervasive Computing, PhDVerified email at dtu.dk
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Hristo KoshutanskiAtos Research & Innovation, SpainVerified email at atos.net
Julian WilliamsProfessor of Accounting and Finance, Durham UniversityVerified email at durham.ac.uk
Giampaolo BellaUniversity of CataniaVerified email at dmi.unict.it
Katsiaryna (Kate) LabunetsUtrecht UniversityVerified email at uu.nl
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Nataliia BielovaPermanent Researcher (CRCN) at Inria, @nataliabielovaVerified email at inria.fr
Ivan PashchenkoResearch Assistant Professor, University of TrentoVerified email at unitn.it
Artsiom YautsiukhinIIT-CNRVerified email at iit.cnr.it
Ida SiahaanCanadian Institute of Cyber SecurityVerified email at unb.ca
Yudistira AsnarInstitut Teknologi BandungVerified email at staff.stei.itb.ac.id
Woohyun ShimKorea Institute of Public AdministrationVerified email at kipa.re.kr
Duc-Ly VuIndependent ResearcherVerified email at unitn.it

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	917	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), 165-203, 2000	231	2000
EXPTIME tableaux for ALC FM Donini, F Massacci Artificial Intelligence 124 (1), 87-138, 2000	203	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	151	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	151	2014
Requirements engineering meets trust management P Giorgini, F Massacci, J Mylopoulos, N Zannone International Conference on Trust Management, 176-190, 2004	138	2004
Strongly analytic tableaux for normal modal logics F Massacci International Conference on Automated Deduction, 723-737, 1994	133	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	120	2003
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
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	118	2000
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	114	2015
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	111	2006
Integrating Security and Software Engineering: Advances and Future Visions: Advances and Future Visions H Mouratidis, P Giorgini Igi Global, 2006	111	2006
Single step tableaux for modal logics F Massacci Journal of Automated Reasoning 24 (3), 319-364, 2000	107	2000
Security and trust requirements engineering P Giorgini, F Massacci, N Zannone Foundations of Security Analysis and Design III, 237-272, 2005	104	2005
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
Verifying the SET registration protocols G Bella, F Massacci, LC Paulson IEEE Journal on Selected Areas in Communications 21 (1), 77-87, 2003	98	2003
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	94	2007
The verification of an industrial payment protocol: The SET purchase phase G Bella, LC Paulson, F Massacci Proceedings of the 9th ACM Conference on Computer and Communications …, 2002	91	2002

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

Follow this author

Cited by

Co-authors