13 citations · 42 across the 7 of their papers we have counts for
7 papers
MOTENS: A Pedagogical Design Model for Serious Cyber Games
Stephen Hart, Basel Halak, Vladimiro Sassone
In the last few years, serious games have become popular, with a consensus of the benefits for teaching cyber security awareness and education. However, there is still a lack of pe…
A Methodology to Select Topology Generators for WANET Simulations (Extended Version)
Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone
Many academic and industrial research works on WANETs rely on simulations, at least in the first stages, to obtain preliminary results to be subsequently validated in real settings…
FaaS: Federation-as-a-Service
Francesco Paolo Schiavo, Vladimiro Sassone, Luca Nicoletti +1
This document is the main high-level architecture specification of the SUNFISH cloud federation solution. Its main objective is to introduce the concept of Federation-as-a-Service…
Local Type Checking for Linked Data Consumers
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in their effort to make data more Web-like. We provide an introduction to the Web o…
A Verified Algebra for Linked Data
Ross Horne, Vladimiro Sassone
A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish l…
Permission-Based Separation Logic for Message-Passing Concurrency
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission…