There are 2 Results with the keyword : "code"
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.
In 2018 Stéphane Glondu, research engineer in the SED (Experimentation and Development department), received the “Impact Paper Award” from ACM SIGSOFT, which recognises work he carried out 13 years ago whilst still an intern at the University of California, Davis.