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