M
Marco Benini
Researcher at University of Insubria
Publications - 43
Citations - 251
Marco Benini is an academic researcher from University of Insubria. The author has contributed to research in topics: Constructive & Risk assessment. The author has an hindex of 7, co-authored 42 publications receiving 235 citations. Previous affiliations of Marco Benini include University of Warwick & University of Leeds.
Papers
More filters
Journal ArticleDOI
Risk assessment in practice: A real case study
Marco Benini,Sabrina Sicari +1 more
TL;DR: This article describes a detailed account of the experience of an external attack to the network of the Department in the University where the instruments, the techniques and the results are described and evaluated.
Journal ArticleDOI
Assessing the risk of intercepting VoIP calls
Marco Benini,Sabrina Sicari +1 more
TL;DR: This article aims at analysing the risk that a VoIP phone call may be intercepted when travelling across the Internet and proving that a general and formal risk assessment method can be used in place of ad-hoc methods not only without losing the strength in the results but also adding up a sound mathematical and engineering foundation.
Posted Content
Homotopical analysis of 4d Chern-Simons theory and integrable field theories
TL;DR: In this paper, a detailed study of $4$-dimensional Chern-Simons theory on arbitrary meromorphic $1$-form $\omega$ on $\mathbb{C}P^1$ using techniques from homotopy theory is investigated.
Posted Content
Involutive categories, colored $\ast$-operads and quantum field theory
TL;DR: Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear involutions on complex vector spaces as discussed by the authors, and has been applied to algebraic quantum field theory.
Journal ArticleDOI
A Constructive Object Oriented Modeling Language for Information Systems
TL;DR: This work proposes a Constructive Object Oriented Modeling Language (COOML) for information systems, based on a constructive logic of pieces of information suitable for organizing the information stored in OO systems.