2 citations · 4 across the 9 of their papers we have counts for
9 papers
Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)
Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati
Many cloud providers for IoT technologies offer access control mechanisms whose proper configuration is critical for security. However, verifying permissions in isolation is insuff…
Verification of Quantum Protocols Adopting Physically Admissible Schedulers
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno +1
Reliable verification techniques for quantum communication protocols are of paramount importance, given their high implementation cost and critical contexts of application. Extensi…
A Coalgebraic Model of Quantum Bisimulation
Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno +1
Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprising…
Policies for Fair Exchanges of Resources
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta +1
People increasingly use digital platforms to exchange resources in accordance with some policies stating what resources users offer and what they require in return. In this paper,…
Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno +1
The development of quantum algorithms and protocols calls for adequate modelling and verification techniques, which requires abstracting and focusing on the basic features of quant…
A Logic for Policy Based Resource Exchanges in Multiagent Systems
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta +1
In multiagent systems autonomous agents interact with each other to achieve individual and collective goals. Typical interactions concern negotiation and agreement on resource exch…