There are 3 Results with the keyword : "Celtique"
Awards and distinctions
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.
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.
- Anne-Cécile Orgerie
- INRIA Rennes - Bretagne Atlantique
- Thimothée Haudebourg
- ICA3PP 2017
- Paper award