Definition of security metrics for the cloud computing and security-aware virtual machine placement algorithms E Caron, AD Le, A Lefray, C Toinard 2013 International Conference on Cyber-Enabled Distributed Computing and …, 2013 | 30 | 2013 |
Replication for send-deterministic MPI HPC applications A Lefray, T Ropars, A Schiper Proceedings of the 3rd Workshop on Fault-tolerance for HPC at extreme scale …, 2013 | 16 | 2013 |
Enforcing security and assurance properties in cloud environment A Bousquet, J Briffaut, E Caron, EM Dominguez, J Franco, A Lefray, ... 2015 IEEE/ACM 8th International Conference on Utility and Cloud Computing …, 2015 | 11 | 2015 |
Microarchitecture-aware virtual machine placement under information leakage constraints A Lefray, E Caron, J Rouzaud-Cornabas, C Toinard 2015 IEEE 8th International Conference on Cloud Computing, 588-595, 2015 | 11 | 2015 |
An advanced security-aware cloud architecture L Bobelin, A Bousquet, J Briffaut, JF Couturier, C Toinard, E Caron, ... 2014 International Conference on High Performance Computing & Simulation …, 2014 | 11 | 2014 |
Mandatory access protection within cloud systems M Blanc, A Bousquet, J Briffaut, L Clévy, D Gros, A Lefray, ... Security, Privacy and Trust in Cloud Systems, 145-173, 2013 | 11 | 2013 |
Efficient process replication for MPI applications: sharing work between replicas T Ropars, A Lefray, D Kim, A Schiper 2015 IEEE International Parallel and Distributed Processing Symposium, 645-654, 2015 | 10 | 2015 |
Security-aware models for clouds A Lefray, E Caron, J Rouzaud-Cornabas, ZH Yulin, A Bousquet, J Briffaut, ... 22th IEEE International Symposium on High Performance Distributed Computing, 2013 | 8 | 2013 |
Seeding the cloud: An innovative approach to grow trust in cloud based infrastructures S Betgé-Brezetz, A Bousquet, J Briffaut, E Caron, L Clevy, MP Dupont, ... The Future Internet: Future Internet Assembly 2013: Validated Results and …, 2013 | 8 | 2013 |
Security for cloud environment through information flow properties formalization with a first-order temporal logic A Lefray, J Rouzaud-Cornabas, J Briffaut, C Toinard INRIA, 2013 | 2 | 2013 |
Secured systems in Clouds with Model-Driven Orchestration E Caron, A Lefray, J Rouzaud-Cornabas 2016 IEEE Conference on Communications and Network Security (CNS), 498-506, 2016 | 1 | 2016 |
Security for Virtualized Distributed Systems: from Modelization to Deployment A Lefray Ecole normale supérieure de lyon-ENS LYON, 2015 | | 2015 |
Formalisation de propriétés de sécurité via une logique temporelle sur les flux d’information A Lefray, J Rouzaud-Cornabas, J Briffaut, C Toinard | | 2013 |
IEEE CNS 2016 SPC: The 2nd IEEE Workshop on Security and Privacy in the Cloud (SPC 2016)-Program S Deshmukh, H Carter, G Hernandez, P Traynor, K Butler, LH Pham, ... | | |
Seed4C: A Cloud Security Infrastructure validated on Grid’5000 E Caron, A Lefray, B Marquet, J Rouzaud-Cornabas | | |