108 citations · 245 across the 9 of their papers we have counts for
10 papers
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN
Simone Soderi, Rocco De Nicola
Covert channel networks are a well-known method for circumventing the security measures organizations put in place to protect their networks from adversarial attacks. This paper in…
Online disinformation in the 2020 U.S. Election: swing vs. safe states
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco +1
For U.S. presidential elections, most states use the so-called winner-take-all system, in which the state's presidential electors are awarded to the winning political party in the…
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco +1
For more than a decade scholars have been investigating the disinformation flow on social media contextually to societal events, like, e.g., elections. In this paper, we analyze th…
A Behavioural Analysis of Credulous Twitter Users
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi +1
Thanks to platforms such as Twitter and Facebook, people can know facts and events that otherwise would have been silenced. However, social media significantly contribute also to f…
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy
Guido Caldarelli, Rocco de Nicola, Marinella Petrocchi +2
The COVID-19 pandemic has impacted on every human activity and, because of the urgency of finding the proper responses to such an unprecedented emergency, it generated a diffused s…
The role of bot squads in the political propaganda on Twitter
Guido Caldarelli, Rocco De Nicola, Fabio Del Vigna +2
Social Media are nowadays the privileged channel for information spreading and news checking. Unexpectedly for most of the users, automated accounts, also known as social bots, con…
A Behavioural Theory for Interactions in Collective-Adaptive Systems
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system…
Multiparty testing preorders
Rocco de Nicola, Hernán Melgratti
Variants of the must testing approach have been successfully applied in service oriented computing for analysing the compliance between (contracts exposed by) clients and servers o…
CARMA: Collective Adaptive Resource-sharing Markovian Agents
Luca Bortolussi, Rocco De Nicola, Vashti Galpin +5
In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped wit…
Domain-specific queries and Web search personalization: some investigations
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi +2
Major search engines deploy personalized Web results to enhance users' experience, by showing them data supposed to be relevant to their interests. Even if this process may bring b…