28 citations · 46 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2016★ 28 cited
Tracing where IoT data are collected and aggregated
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari +1
The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly ga…
cs.PL2016★ 9 cited
A Step Towards Checking Security in IoT
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari +1
The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be present…