Jean-Pierre Hubaux, EPFL