“Lucky Thirteen” attack snarfs cookies protected by SSL encryption