Stefano Sebastio

21 papers A 1B 2C 3Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
Bolstering Up Smart Products Cybersecurity (Re-)Certification with Manufacturer's Evidence.
SMARTCOMP
Stefano Sebastio, Sreedevi Beena, Sara Nieves Matheu, Roland Atoui, Antonio F. Skarmeta
2023 B conf
Application of Secure Two-Party Computation in a Privacy-Preserving Android App.
ARES
Marco De Vincenzi, Ilaria Matteucci, Fabio Martinelli, Stefano Sebastio
2021 J jnl
An Availability Analysis Approach for Deployment Configurations of Containers.
IEEE Trans. Serv. Comput.
Stefano Sebastio, Rahul Ghosh, Tridib Mukherjee
2020 J jnl
Optimizing symbolic execution for malware behavior classification.
Comput. Secur.
Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
2018 J jnl
A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds.
ACM Trans. Model. Comput. Simul.
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente, Antonio Scala
2018 J jnl
A green policy to schedule tasks in a distributed cloud.
Optim. Lett.
Stefano Sebastio, Giorgio Gnecco
2018 J jnl
Characterizing machines lifecycle in Google data centers.
Perform. Evaluation
Stefano Sebastio, Kishor S. Trivedi, Javier Alonso
2018 — conf
ContAv: A Tool to Assess Availability of Container-Based Systems.
SOCA
Stefano Sebastio, Rahul Ghosh, Avantika Gupta, Tridib Mukherjee
2017 J jnl
Optimal distributed task scheduling in volunteer clouds.
Comput. Oper. Res.
Stefano Sebastio, Giorgio Gnecco, Alberto Bemporad
2016 J jnl
AVOCLOUDY: a simulator of volunteer clouds.
Softw. Pract. Exp.
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
2016 C conf
Availability Study of the Italian Electricity SCADA System in the Cloud.
CRITIS
Stefano Sebastio, Antonio Scala, Gregorio D'Agostino
2015 C conf
A Mean Field Model of Coupled Cascades in Flow Networks.
CRITIS
Antonio Scala, Stefano Sebastio, Pier Giorgio De Sanctis Lucentini, Gregorio D'Agostino
2015 — conf
A Workload-Based Approach to Partition the Volunteer Cloud.
CIC
Stefano Sebastio, Antonio Scala
2014 A conf
A computational field framework for collaborative task execution in volunteer clouds.
SEAMS
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
2014 — conf
Distributed statistical analysis of complex systems modeled through a chemical metaphor.
HPCS
Danilo Pianini, Stefano Sebastio, Andrea Vandin
2014 J jnl
Fast computation of bounds for two-terminal network reliability.
Eur. J. Oper. Res.
Stefano Sebastio, Kishor S. Trivedi, Dazhi Wang, Xiaoyan Yin
2014 — ch.
Honest vs Cheating Bots in PATROL-Based Real-Time Strategy MMOGs.
Evolution, Complexity and Artificial Life
Stefano Sebastio, Michele Amoretti, Jose Raul Murga, Marco Picone, Stefano Cagnoni
2014 — conf
Reputation-Based Cooperation in the Clouds.
IFIPTM
Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi
2013 C conf
A Cooperative Approach for Distributed Task Execution in Autonomic Clouds.
PDP
Michele Amoretti, Alberto Lluch-Lafuente, Stefano Sebastio
2013 — conf
MultiVeStA: statistical model checking for discrete event simulators.
VALUETOOLS
Stefano Sebastio, Andrea Vandin
2010 — conf
Peer-to-peer architecture for real-time strategy MMOGs with intelligent cheater detection.
SimuTools
Marco Picone, Stefano Sebastio, Stefano Cagnoni, Michele Amoretti