Ugo Dal Lago

An exploration of efficient higher-order functionals and their implications in computing.

Exploring the link between separation logic and cryptographic security through independence.

A new method for resource estimation in quantum computing circuits.

Exploring methods to protect information through cryptographic systems.

A look into how parties share information in quantum computing.

A look at how randomness shapes modern computational techniques.