Theoretical Models for Side-Channel Attacks