Roberto Vigo

According to our database, Roberto Vigo authored at least 15 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Discovering, quantifying, and displaying attacks.

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

Log. Methods Comput. Sci., 2016

2015

Availability by Design:A Complementary Approach to Denial-of-Service.

Roberto Vigo

PhD thesis, 2015

A calculus of quality for robustness against unreliable communication.

Hanne Riis Nielson, Flemming Nielson, Roberto Vigo

J. Log. Algebraic Methods Program., 2015

A calculus for attribute-based communication.

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Trust-Based Enforcement of Security Policies.

Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Uniform Protection for Multi-exposed Targets.

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Automated Generation of Attack Trees.

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Security Games for Cyber-Physical Systems.

Roberto Vigo, Alessandro Bruni, Ender Yüksel

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Broadcast, Denial-of-Service, and Secure Communication.

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

The Cyber-Physical Attacker.

Roberto Vigo

Proceedings of the Computer Safety, Reliability, and Security, 2012

Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks.

Alessio Di Mauro, Davide Papini, Roberto Vigo, Nicola Dragoni

Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

A Calculus for Quality.

Hanne Riis Nielson, Flemming Nielson, Roberto Vigo

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

A framework for semi-automated process instance discovery from decorative attributes.

Andrea Burattin, Roberto Vigo

Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

Process Mining Manifesto.

Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn

Proceedings of the Business Process Management Workshops, 2011

2009

Expressive Power of Definite Clauses for Verifying Authenticity.

Gilberto Filé, Roberto Vigo

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009