Session: 2C
ENCRYPTION AND FORMAL METHODS
Presentations

SESSION CHAIR
Marino MICULAN
Università di Udine

Wednesday May 3, 2023
h. 14:30 – 15:30

Luca Ferretti, Mattia Trabucco, Mauro Andreolini and Mirco Marchetti.
How (not) to index order revealing encrypted databases

Jodie Knapp and Elizabeth A. Quaglia.
CLUE: Certificateless Updatable Encryption

Andrew Cook and Luca Viganò.
Formal Analysis of Security Protocols with Movement

Stefano Berlato, Alessandro Colombo, Roberto Carbone and Silvio Ranise.
Cryptographic Enforcement of Fine-grained Access Control Policies With Attribute-based Encryption