6 citations · 6 across the 3 of their papers we have counts for
3 papers
Volatile memory forensics for the Robot Operating System
Víctor Mayoral Vilches, Laura Alzola Kirschgens, Endika Gil-Uriarte +2
The increasing impact of robotics on industry and on society will unavoidably lead to the involvement of robots in incidents and mishaps. In such cases, forensic analyses are key t…
Globally reasoning about localised security policies in distributed systems
Alejandro Mario Hernandez
In this report, we aim at establishing proper ways for model checking the global security of distributed systems, which are designed consisting of set of localised security policie…
History-sensitive versus future-sensitive approaches to security in distributed systems
Alejandro Mario Hernandez, Flemming Nielson
We consider the use of aspect-oriented techniques as a flexible way to deal with security policies in distributed systems. Recent work suggests to use aspects for analysing the fut…