European Research Council 2010
Karthik Bhargavan: proving the safety of web applications
The medical saying "prevention is better than cure" also applies to computers. Karthik Bhargavan, a young researcher from the MOSCOVA team, recently received an ERC grant to continue his work on ensuring the safety of services such as personal and sensitive data management. This work is both theoretical and highly applied, and is carried out at the Inria and Microsoft Research joint laboratory. We went to meet this researcher.
Karthik Bhargavan uses squares, circles and arrows to explain the work that he'll be carrying out thanks to the five-year ERC grant of €1.5 million that he recently received. His field is computer security. "We exchange a lot of information online, so you need to be sure that it isn't stolen or altered ," explains this 34-year-old Indian researcher. "This is particularly true in certain sensitive areas such as banking and medical data. "
Building the first Web application whose security can be mathematically proven
To mathematically prove that a computer program is safe, it first needs to be "converted" into a model that is easier to analyse. This model is then examined by a program analysis tool, which takes into account the security requirements chosen by the researchers. This tool can give three types of response: "yes, the safety of this software is proven", "no, attacks have been successful" and lastly "we do not know whether this software is safe" . Unfortunately, the latter response is the most frequent. Indeed, the goal of Karthik Bhargavan's research is to make this response less frequent and achieve the affirmative response more often.
Karthik Bhargavan is to recruit two post-doctoral researchers, four PhD students and seven Master's-level interns over the next five years to complete his project. This researcher with an international background (studies in New Delhi, India, a PhD from Philadelphia in the US and seven years of research on Web security at Microsoft Research in Cambridge, United Kingdom) is not at all concerned about the recruitment process: "I really like working with French students - I teach them at the École Polytechnique ," he says. "The quality of the students is one of the reasons why I chose France. I'm also planning to attract students from the US, the UK and India, where I've kept a lot of contacts. "
He also chose France and Inria for its unique combination of skills in engineering and mathematics, due in particular to the close collaboration between researchers at Inria and Microsoft Research at the joint laboratory in Saclay. "The combination of highly applied and fundamental research conducted at Inria is very attractive ," he notes. "I work both on programs and mathematical proofs. I'm also fortunate enough to be looking at real problems. "
Successful applicants 2010
In the "starting grants" category, Axel Hutt (Cortex, Nancy), Paola Goatin (Opale, Sophia Antipolis), Pierre Alliez (Geometrica, Sophia Antipolis), Kartikeyan Bhargavan (Moscova, Rocquencourt), Véronique Cortier (Cassis, Nancy) and Nikos Paragios (Galen, Saclay) have received funding to form research teams. In the "advanced grants" category, Jean Ponce (Willow, Rocquencourt) and André Seznec (Alf, Rennes) are among the lucky winners and have chosen Inria to continue their work.
These articles could interest you:
European Research Council
- Europe encouraging innovative ideas
- Successful applicants 2017-2018 - 2015-2016 - 2013-2014 - 2011-2012
- Bourse "European Research Council" A European grant for better road traffic management
- European Research Council 2010 Axel Hutt: a physicist peeks inside the human brain
- European Research Council 2010 Nikos Paragios: a life devoted to artificial vision and its applications in medicine
- European Research Council 2010 Pierre Alliez: a pioneer in digital geometry processing
- European Research Council 2010 Karthik Bhargavan: proving the safety of web applications
- European Research Council 2010 Véronique Cortier: securing protocols
- European Research Council 2010 Jean Ponce: from photo to video