scispace - formally typeset
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

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

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.