28 January 2011

Research


Themes:

Distributed Systems: modeles, algorithms, analysis, proof, simulation, security.

  • Election problem. Graphs decomposition. MIS Problem. Distributed colouring of graphs. Computing by mobile agents.
  • Proof using COQ of distributed algorithms.
  • Secure communication protocols.

AI: Machine and Deep Learning

  • AI in Apps for smartphones
  • Deep learning for image analysis

Programs analysis and malware detection

  • Android apps analysis.
  • Static and dynamic analysis.
  • Machine learning approach for malware detection.

Distributed Algorithms Team
Deep In SWest project


List of coauthors

Shehla Abbas, Nesrine Ouled Abdallah, Maxim Anikeev, Abdelfettah Belghith, Chokri Benamar, Jenny Benois-Pineau, Shweta Bhandari, Arnaud Casteigts, Souad Chaabouni, Mauro Conti, Bilel Derbel, Philippe Duchon, Parvez Faruki, Gilberto Filè, Allyx Fontaine, Jyoti Gajrani, Manoj Singh Gaur, Cyril Gavoille, Pierre Gillot, Rishabh Gupta, Brahim Hamid, Nicolas Hanusse, Frédéric Herbreteau, Abdelaziz El Hibaoui, Wafa Ben Jaballah, Imen Jemeli, Mohamed Jmaiel, Hatem Hadj Kacem, Vijay Laxmi, Jean-François Marckert, Yves Métivier, Mohamed Mosbah, Smita Naval, Rim Negra, Yurri Nesterov, Rekha Panihar, Vijay Rao, John Michael Robson, Partha S. Roop, Nasser Saheb-Djahromi, Daya Ram Sharma, Gaurav Singal, François Tison, Swati Todi, Mohamed Tounsi, Meenakshi Tripathi, Habib Youssef.


Service (Current)