D1 - Secured and large scale systems

Person in charge
David BROMBERG (Professor Université de Rennes)
Description

Secured and large scale systems

LARGE SCALE SYSTEMS department addresses a variety of issues arising from large-scale computer systems featuring a large number of machines and/or users and/or data, typically in cloud, fog or IoT networks or in HPC.

Three main challenges

Research activities in this broad topic focus on three main challenges:

  • dependability and security;
  • performance, scalability and efficient resource management;
  • understanding, easing the use and programmability.

The main line of research

  • Models, resource and data management at scale systems: optimized data and metadata management in very large number of concurrent clients settings; reducing I/O overhead at very large-scales; scalability of k-nearest neighbor graph construction; improving gossip protocols with random linear network coding; modeling and reducing energy consumption in grids and HPC infrastructures
  • Convergence of HPC and big data: storage abstractions for workflows combining compute-intensive simulations and data-intensive analytics; modeling the behaviour of elastic storage systems for HPC infrastructures
  • System security: intrusion mitigation through privilege removal; machine learning approaches to intrusion detection; triggering unknown malware on Android; tracking flow of info in concurrent systems with a Coq proof; Models for quantitative analysis of security; Risk analysis based on attack trees
  • Cryptography: designing new and robust cyphers (block cyphers, lattice-based, homomorphic encryption, etc.); security proofs and security of cryptographic implementations (side channel attacks); formal proofs for cryptographic protocols.