Not registered as user yet

Name: Stéphane Glondu

Affiliation: Inria Nancy

Research interests: programming langauges, logic, formal methods, cryptographic protocols, voting systems


ESEC/FSE 2018Author of Ten Years of Hunting for Similar Code for Fun and Profit within the Keynotes-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile