Modeling Architectural Side Channel Attacks for Fun & Profit