Jean-Pierre Hubaux, EPFL, Switzerland