TITLE: Security, Information Theory, Thermodynamic and Verification: a common thread
SPEAKER:  Pasquale Malacaria (School of Electronic Engineering and Computer Science, Queen Mary University of London)

ABSTRACT:

What has a property (confidentiality) of a human artifact (software) to 
do with the most basic laws of physics (second law of thermodynamics)?
and how automated techniques for verifying logical formulas 
(verification) can be useful to compute Information Theoretical 
quantities and security in large state space?

I came across these questions and some answers in recent years. This 
talk will survey (in accessible form) some of these results/ideas, their 
interpretation and possible research directions