118 citations · 201 across the 18 of their papers we have counts for
18 papers
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,…
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…
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…
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is t…
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Matteo Busi, Job Noorman, Jo Van Bulck +4
Computer systems often provide hardware support for isolation mechanisms like privilege levels, virtual memory, or enclaved execution. Over the past years, several successful softw…