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…
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno +1
Past years have seen the development of a few proposals for quantum extensions of process calculi. The rationale is clear: with the development of quantum communication protocols,…
Automatic Fair Exchanges
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano +1
In a decentralized environment, exchanging resources requires users to bargain until an agreement is found. Moreover, human agreements involve a combination of collaborative and se…
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano +1
Security Enhanced Linux (SELinux) is a security architecture for Linux implementing mandatory access control. It has been used in numerous security-critical contexts ranging from s…