Suivre
Arnaud Lefray
Arnaud Lefray
Inria ENS ENSIB
Adresse e-mail validée de ens-lyon.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
302013
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
162013
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
112015
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
112015
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
112014
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
112013
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
102015
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
82013
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
82013
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
22013
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
12016
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–15