Sites Inria

There are 3 Results with the keyword : "Celtique"

Alan Schmitt, chercheur au sein de l'équipe CELTIQUE

Awards and distinctions

Alan Schmitt receives the Most Influential POPL Paper Award

Nathalie Lacaux - 24/04/2015

Alan Schmitt, an Inria researcher working in the Celtique research team, has recently received the Most Influential POPL Paper Award. This award recognises a paper that he co-authored in 2005 as being the most influential paper ten years after its publication. We asked him for his comments.


Home > Centre > Rennes > News > Most Influential POPL Paper Award pour Alan Schmitt


Code © Inria / Photo Kaksonen


Hunting viruses in binary code

Jean-Michel Prima - 24/06/2014

A few malicious instructions concealed in the code of a software application are all it takes to compromise the security of an information system. At the Inria Rennes-Bretagne Atlantique centre, a team of research scientists is studying how formal procedures can be used to analyse binary code to make it more legible and thus simplify the detection of malicious programs that might be lurking within. This work is being carried out in partnership with the DGA Maîtrise de l’information facility (French Defence Procurement Agency Information Security and Control) in Rennes, France.


Home > Centre > Rennes > News > Traque au virus dans le code binaire


Paper Award

Best paper award for Timothée Haudebourg and Anne-Cécile Orgerie

Nathalie Lacaux - 23/08/2017


Home > Centre > Rennes > News > Best paper award pour Timothée Haudebourg et Anne-Cécile Orgerie, des équipes Celtique et Myriads