Sa recherche porte sur divers sujets inter-corrélés des fondements de l'informatique, principalement en théorie de la complexité des algorithmes et les fondements de la cryptographie.
Les adversaires réels (non-idéalisés par une théorie) sont appelés attaquants, et ce terme est prédominant en sécurité informatique, beaucoup moins en cryptographie et vice-versa.
La principale difficulté de la cryptographie sur les codes correcteurs étant de trouver une famille de codes efficaces et exhibant la difficulté nécessaire.