F
Fabio Massacci
Researcher at VU University Amsterdam
Publications - 348
Citations - 7654
Fabio Massacci is an academic researcher from VU University Amsterdam. The author has contributed to research in topics: Computer security model & Computer science. The author has an hindex of 43, co-authored 323 publications receiving 6972 citations. Previous affiliations of Fabio Massacci include University of Cambridge & Sapienza University of Rome.
Papers
More filters
Journal ArticleDOI
A survey of autonomic communications
Simon Dobson,Spyros Denazis,Antonio Fernández,Dominique Gaïti,Erol Gelenbe,Fabio Massacci,Paddy Nixon,Fabrice Saffre,Nikita Schmidt,Franco Zambonelli +9 more
TL;DR: The current state of autonomic communications research is surveyed and significant emerging trends and techniques are identified.
Proceedings ArticleDOI
Modeling security requirements through ownership, permission and delegation
TL;DR: This paper refine Secure Tropos, introducing the notions of at-least delegation and trust of execution; also, at-most delegation andTrust of permission; and proposes monitoring as a security design pattern intended to overcome the problem of lack of trust between actors.
Journal Article
Exptime Tableaux for ALC.
TL;DR: In this article, a tableau calculus for the description logic ALC for checking the satisfiability of a concept with respect to a TBox with general axioms is presented.
Journal ArticleDOI
Logical Cryptanalysis as a SAT Problem
Fabio Massacci,Laura Marraro +1 more
TL;DR: It is claimed that one can feasibly encode the low-level properties of state-of-the-art cryptographic algorithms as SAT problems and then use efficient automated theorem-proving systems and SAT-solvers for reasoning about them, and call this approach logical cryptanalysis.
Journal ArticleDOI
Comparing Vulnerability Severity and Exploits Using Case-Control Studies
Luca Allodi,Fabio Massacci +1 more
TL;DR: Analysis reveals that fixing a vulnerability just because it was assigned a high CVSS score is equivalent to randomly picking vulnerabilities to fix; the existence of proof-of-concept exploits is a significantly better risk factor; and fixing in response to exploit presence in black markets yields the largest risk reduction.