Automatically deriving information-theoretic bounds for adaptive side-channel attacks