Sécurité des Données et des Systèmes
Responsable : Laurent BOBELIN
Site web
L'équipe Sécurité des Données et des Systèmes travaille dans le domaine de la sécurité informatique au sens large. L’étude de la sécurité informatique présente deux facettes : l’attaque, qui cherche à déceler les failles des systèmes ou des protocoles, et la protection, qui peut se décliner en mécanismes de détection, de dissuasion, de prévention ou curatifs.
Quatre axes de recherche principaux sont développés par l'équipe:
- Le contrôle d’accès et le contrôle d’usage
- Les modèles d’attaque sur les données et les algorithmes
- Les approche formelles de la sécurité et de la vie privée
- Les applications pluridisciplinaires de la sécurité informatique
PETSCRAFT - équipe projet INRIA au sein de SDS - Site web
Responsable : Benjamin NGUYEN
PETSCRAFT se concentre principalement sur la modélisation des concepts de protection de la vie privée ainsi que sur la conception, l'optimisation, l'application de la sécurité, les tests et le déploiement de technologies de protection de la vie privée (PETs ou Privacy Enhancing Technologies) explicables et efficaces basées sur ces principes. Ces concepts peuvent provenir à la fois des exigences légales (par exemple, les concepts du RGPD) ou des recommandations fondées sur des enjeux sociétaux et éthiques (par exemple, aider les lanceurs d'alerte victimes de harcèlement). Reconnaissant l'importance primordiale de l'explicabilité, le projet vise à mieux définir les exigences de ces concepts et à parvenir à un équilibre entre la vie privée et les usages légitimes, en particulier dans le contexte en pleine expansion de la surveillance numérique, tout en offrant une efficacité grâce à des techniques avancées de gestion des données, par exemple.
Notre objectif initial est donc de créer des PETs qui seraient adoptés par le grand public, l'industrie ou les institutions. Notre objectif ultime serait de proposer et de valider à la fois une méthode et un "cyber-fablab" pour concevoir des PETs.
Membres de l'équipe
Nom | Prénom | Établissement | Fonction(s) | Corps |
---|---|---|---|---|
AMRAOUI | Mohammed | INSA Centre Val de Loire | CJC/Doctorant | |
ANCIAUX | Nicolas | INSA Centre Val de Loire | DR | |
BEL HADJ YOUSSEF | Soumaya | INSA Centre Val de Loire | Autre_EC | |
BERTHOME | Pascal | INSA Centre Val de Loire | Direct(eur/rice) adjoint(e) du laboratoire, Membre du conseil | PR |
BESNIER | Loic | INSA Centre Val de Loire | Autre_AP | |
BIECHY | Lucas | INSA Centre Val de Loire | CJC/Doctorant | |
BOBELIN | Laurent | INSA Centre Val de Loire | Membre du conseil, Responsable d'équipe | ECC |
BOIRET | Adrien | INSA Centre Val de Loire | ECC | |
BRIFFAUT | Jérémy | INSA Centre Val de Loire | MCF | |
BULTEL | Xavier | INSA Centre Val de Loire | MCF | |
CISSE | Khouredia | INSA Centre Val de Loire | CJC/Doctorant | |
CIUCANU | Radu | INSA Centre Val de Loire | MCF | |
CLEMENTE | Patrice | INSA Centre Val de Loire | MCF | |
EICHLER | Cédric | INSA Centre Val de Loire | Membre du conseil | MCF |
FRITTELLA | Sabine | INSA Centre Val de Loire | MCF | |
HAYDER | Yasmine | INSA Centre Val de Loire | CJC/Doctorant | |
HUGOT | Vincent | INSA Centre Val de Loire | MCF | |
ISAH | Usman Rabiu | INSA Centre Val de Loire | CJC/Doctorant | |
JOJON | Charlène | INSA Centre Val de Loire | CJC/Doctorant | |
LECOMTE | Clément | INSA Centre Val de Loire | CJC/Doctorant | |
LEFEBVRE | Amandine | INSA Centre Val de Loire | Autre_AP | |
LI | Xinqing | INSA Centre Val de Loire | CJC/Doctorant | |
NADJI | Mohammed islem | INSA Centre Val de Loire | CJC/Doctorant | |
NGUYEN | Benjamin | INSA Centre Val de Loire | Responsable équipe-projet INRIA PETSCRAFT | PR |
RIFI | Amine | INSA Centre Val de Loire | CJC/Doctorant | |
TAKI | Sara | INSA Centre Val de Loire | Autre_AP | |
TANIGASSALAME | Subashiny | INSA Centre Val de Loire | POST-DOC | |
TARDIEU | Eliott | INSA Centre Val de Loire | CJC/Doctorant | |
TOINARD | Christian | INSA Centre Val de Loire | PR | |
WEHBE | Mariam | INSA Centre Val de Loire | CJC/Doctorant |
Pagination
Publications HAL de l'équipe SDS - 253 publications depuis 2002
2025 - (5)
-
- (1)
-
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments
Auteurs: , Olivier-Anclin Charles, Boureanu Ioana, Chen Liqun, Newton Christopher, Chothia Tom, Clee Anna, Kokkinis Andreas, Lafourcade Pascal
HAL : 4918989
-
-
Autres Publications - (1)
-
Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
Auteurs: Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
HAL : 4966499
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (1)
-
Cryptographic Commitments on Anonymizable Data
Auteurs: Xavier BULTEL, Charlène JOJON, Benjamin NGUYEN, Céline CHEVALIER, Diandian LIU
HAL : 5027266
-
-
Revue internationale à comité de lecture - (2)
-
Energy optimization for P-time labeled Petri net systems with unobservable transitions
Auteurs: Clément LECOMTE, Patrice BONHOMME
HAL : 5065524 -
TELESAFE: Detecting Private/Work Boundary Crossings in Energy Consumption Trails in Telework
Auteurs: Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, Jose MARIA DE FUENTES
HAL : 5109917
-
2024 - (25)
-
Autres Publications - (1)
-
The history of biometric authentication and identification using photoplethysmography (PPG): a twenty years systematic literature review
Auteurs: Benjamin VIGNAU, Patrice CLEMENTE, Pascal BERTHOME
HAL : 4764560
-
-
Communications sans actes - (7)
-
Least-Cost Firing Sequences Estimation in P-Time Labeled Petri Nets Systems
Auteurs: Clément LECOMTE, Patrice BONHOMME
HAL : 4597221 -
Extensive and Secure Data Management System with Vulnerable Extension Code
Auteurs: Xinqing LI, Nicolas ANCIAUX, Iulian SANDU POPA
HAL : 4908592 -
Mapping relational databases to RDF and its impact on privacy
Auteurs: Sara TAKI, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
HAL : 4908768 -
SAT-Based Automated Completion for Reachability Analysis
Auteurs: Yohan BOICHUT, Adrien BOIRET, Vincent HUGOT
HAL : 4605772 -
Data Privacy for Graphs with Semantic Informations
Auteurs: Yasmine HAYDER, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
HAL : 4711565 -
A passive assessment of homecare need with a Rasch model
Auteurs: Pierre BOUCHET, Christian TOINARD, Sophie JACQUOT
HAL : 4500764 -
Towards a Matrix Profile-based detection of private activities in Teleworking Energy Consumption
Auteurs: Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
HAL : 4908749
-
-
Direction d'ouvrages scientifiques - (1)
-
A Performant Quantum-Resistant KEM for Constrained Hardware: Optimized HQC
Auteurs: , Ridwane AISSAOUI, Jean-Christophe DENEUVILLE, Christophe GUERBER, Alain PIROVANO
HAL : 4707187
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (12)
-
TELESAFE - Detecting Private/Work Boundary Crossings in Energy Consumption Trails in Telework
Auteurs: Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
HAL : 4908690 -
Continuous Authentication Leveraging Matrix Profile
Auteurs: Nicolas ANCIAUX, Luis IBANEZ-LISSEN, Jose MARIA DE FUENTES, Lorena GONZALES-MANZANO
HAL : 4663471 -
Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature
Auteurs: Xavier BULTEL, Charles OLIVIER-ANCLIN
HAL : 4644979 -
Nob-MIAs: Non-biased Membership Inference Attacks Assessment on Large Language Models with Ex-Post Dataset Construction
Auteurs: Cédric EICHLER, Nicolas ANCIAUX, Nathan CHAMPEIL, Alexandra BENSAMOUN, Héber H. ARCOLEZI, José Maria DE FUENTES
HAL : 4710513 -
Cohesive database neighborhoods for differential privacy: mapping relational databases to RDF
Auteurs: Sara TAKI, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Web Information Systems Engineering - WISE 2024 - 25th International Conference - HAL : 4700208 -
reteLLMe: Design Rules for using Large Language Models to Protect the Privacy of Individuals in their Textual Contributions
Auteurs: Cédric EICHLER, Adrien BOIRET, Nicolas ANCIAUX, Mariem BRAHEM, Jasmine WATISSEE, Jose MARIA DE FUENTES
HAL : 4684512 -
On the Anonymity of Linkable Ring Signatures
Auteurs: Xavier BULTEL, Charles OLIVIER-ANCLIN
Cryptology and Network Security. CANS 2024. Lecture Notes in Computer Science, vol 14905. Springer, Singapore. - HAL : 4915667 -
Cryptographic cryptid protocols: How to play cryptid with cheaters
Auteurs: Xavier BULTEL, Charlène JOJON, Pascal LAFOURCADE
HAL : 4726633 -
Physical Ring Signature
Auteurs: Xavier BULTEL
LIPIcs, Volume 291, 12th International Conference on Fun with Algorithms (FUN 2024) - HAL : 4624521 -
A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent
Auteurs: Nicolas ANCIAUX, Sabine FRITTELLA, Benjamin NGUYEN, Baptiste JOFFROY, Guillaume SCERRI
HAL : 4908589 -
Leveraging synthetic graph generation for privacy-preserving geo-distributed graph processing
Auteurs: Haoying ZHANG, Cédric EICHLER, Benjamin NGUYEN, Tristan ALLARD, Shadi IBRAHIM
HAL : 4908658 -
TELESAFE – Détection des franchissements de frontière entre vie privée et vie professionnelle dans les traces de consommation d'énergie en télétravail
Auteurs: Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
HAL : 4908690
-
-
Revue internationale à comité de lecture - (4)
-
Systematic literature review: References extraction helper and automatic analysis
Auteurs: Benjamin VIGNAU, Patrice CLEMENTE, Pascal BERTHOME
HAL : 4764536 -
Enabling secure data-driven applications: an approach to personal data management using trusted execution environments
Auteurs: Nicolas ANCIAUX, Robin CARPENTIER, Iulian SANDU POPA
HAL : 4843097 -
Efficient error-correcting codes for the HQC post-quantum cryptosystem
Auteurs: , Carlos AGUILAR-MELCHOR, Nicolas ARAGON, Jean-Christophe DENEUVILLE, Philippe GABORIT, Jérôme LACAN, Gilles ZÉMOR
HAL : 4810821 -
Graph rewriting primitives for semantic graph databases sanitization
Auteurs: Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN, Sara TAKI
HAL : 4631734
-
2023 - (13)
-
Thèse - (1)
-
Autres Publications - (5)
-
Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory
Auteurs: Sabine FRITTELLA, Marta BÍLKOVÁ, Daniil KOZHEMIACHENKO, Ondrej MAJER, Krishna MANOORKAR
HAL : 4051113 -
Specification of data and databases
Auteurs: Cédric EICHLER
HAL : 4265250 -
Granon: un moteur formel de procédures d'assainissement de données graphes
Auteurs: Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN, Sara TAKI
HAL : 4354037 -
Privacy Operators for Semantic Graph Databases as Graph Rewriting
Auteurs: Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN, Sara TAKI
HAL : 4354000 -
D3 - Final Use-Cases Specification
Auteurs: Cédric EICHLER, Benjamin NGUYEN, Sara TAKI, Adrien BOIRET
HAL : 4265485
-
-
Poster - (1)
-
Towards Intrusion Detection Systems Dedicated to Agriculture Based on Federated Learning
Auteurs: Laurent BOBELIN, Pascal BERTHOME, Usman ISAH
HAL : 4760785
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (4)
-
Energy Aware Strategy for Discrete Event Systems using Inhibitor P-Time Petri nets and Deep Reinforcement Learning
Auteurs: Clément LECOMTE, Patrice BONHOMME
HAL : 4071808 -
Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside
Auteurs: Xavier BULTEL, Rohann BELLA, Céline CHEVALIER, Pascal LAFOURCADE, Charles OLIVIER-ANCLIN
FC2023 - Twenty-Seventh International Conference Financial Cryptography and Data Security - HAL : 4008484 -
Demo : Data Minimization and Informed Consent in Administrative Forms
Auteurs: Nicolas ANCIAUX, Sabine FRITTELLA, Benjamin NGUYEN, Baptiste JOFFROY
HAL : 4240432 -
Presumptive Reasoning in a Paraconsistent Setting
Auteurs: Sabine FRITTELLA, Daniil KOZHEMIACHENKO, Bart VERHEIJ
EPTCS 379 - HAL : 4160161
-
-
Revue internationale à comité de lecture - (2)
-
A security architecture for the internet of medical things
Auteurs: Patrice CLEMENTE, Marko HÖLBL
HAL : 5077811 -
Qualitative reasoning in a two-layered framework
Auteurs: Sabine FRITTELLA, Marta BÍLKOVÁ, Daniil KOZHEMIACHENKO, Ondrej MAJER
HAL : 4910370
-
2022 - (14)
-
Thèse - (1)
-
Mandatory protection checked against the automotive sector’s safety objectives
Auteurs: , Adrien JOUSSE
HAL : 4645556
-
-
Autres Publications - (1)
-
Distributed Transition Systems with Tags for Privacy Analysis
Auteurs: Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
HAL : 3700115
-
-
Chapitre d'ouvrages scientifiques - (1)
-
Paraconsistent Gödel Modal Logic
Auteurs: Sabine FRITTELLA, Marta BÍLKOVÁ, Daniil KOZHEMIACHENKO
HAL : 4910368
-
-
Communications sans actes - (8)
-
Zero-Knowledge Proof of Knowledge for Peg Solitaire
Auteurs: Xavier BULTEL
11th International Conference on Fun with Algorithms (FUN 2022) - HAL : 3754563 -
Improving the Efficiency of Report and Trace Ring Signatures
Auteurs: Xavier BULTEL, Ashley FRASER, Elizabeth QUAGLIA
HAL : 3894213 -
CCA Secure A Posteriori Openable Encryption in the Standard Model
Auteurs: Xavier BULTEL
Topics in Cryptology – CT-RSA 2022 - HAL : 3754615 -
It’s too noisy in here: using projection to improve Differential Privacy on RDF graphs
Auteurs: Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
HAL : 4249522 -
Towards a SaaS application providing an ethical support for human caregiving of people living at home
Auteurs: Pierre BOUCHET, Sophie JACQUOT, Christian TOINARD
HAL : 3952387 -
Privacy Operators for Semantic Graph Databases as Graph Rewriting
Auteurs: Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
HAL : 3768318 -
Enseigner les preuves à divulgation nulle sur des chiffrements sans prérequis d'arithmétique
Auteurs: Xavier BULTEL
HAL : 3754546 -
It’s Too Noisy in Here: Using Projection to Improve Differential Privacy on RDF Graphs
Auteurs: Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
HAL : 3770679
-
-
Poster - (1)
-
Pairing-free secure-channel establishment in mobile networks with fine-grained lawful interception
Auteurs: Xavier BULTEL, Cristina ONETE
SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing - HAL : 3754606
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (2)
-
Privacy Analysis with a Distributed Transition System and a Data-Wise Metric
Auteurs: Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
HAL : 3767722 -
Belief Based on Inconsistent Information
Auteurs: Sabine FRITTELLA, Marta BÍLKOVÁ, Ondrej MAJER, Sajad NAZARI
HAL : 3115256
-
2021 - (15)
-
HDR - (1)
-
Secure Outsourced Data Analytics
Auteurs: Radu CIUCANU
HAL : 3256882
-
-
Autres Publications - (1)
-
Cryptanalysis of a code-based signature scheme without trapdoors
Auteurs: , Marco BALDI, Jean-Christophe DENEUVILLE, Edoardo PERSICHETTI, Paolo SANTINI
HAL : 3687511
-
-
Communications sans actes - (4)
-
Projet SENDUP : SEmantic Networks of Data: Utility and Privacy
Auteurs: Cédric EICHLER
HAL : 3560227 -
Constraint Tableaux for Two-Dimensional Fuzzy Logics
Auteurs: Sabine FRITTELLA, Marta BÍLKOVÁ, Daniil KOZHEMIACHENKO
HAL : 3626661 -
Using projection to improve Differential Privacy on RDF graphs
Auteurs: Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
HAL : 3566266 -
A safe dynamic access control providing mandatory automotive cybersecurity
Auteurs: Vincent HUGOT, Christian TOINARD, Adrien JOUSSE, Benjamin VENELLE
2021 International Conference on Computational Science and Computational Intelligence (CSCI) - HAL : 3780338
-
-
Poster - (1)
-
Privacy Over RDF datasets
Auteurs: Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
HAL : 3539033
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (5)
-
How to (Legally) Keep Secrets from Mobile Operators
Auteurs: Xavier BULTEL, Ghada ARFAOUI, Olivier BLAZY, Pierre-Alain FOUQUE, Thibaut JACQUES, Adina NEDELCU, Cristina ONETE
HAL : 3478246 -
Unlinkable and Invisible $\gamma$-Sanitizable Signatures
Auteurs: Xavier BULTEL, Angèle BOSSUAT
HAL : 3537402 -
Generic Construction for Identity-based Proxy Blind Signature
Auteurs: Xavier BULTEL, Pascal LAFOURCADE, Charles OLIVIER-ANCLIN, Léo ROBERT
HAL : 3435956 -
Generic Plaintext Equality and Inequality Proofs
Auteurs: Xavier BULTEL, Olivier BLAZY, Pascal LAFOURCADE, Octavio PEREZ-KEMPNER
HAL : 3478247 -
Secure key distribution in heterogeneous interoperable industrial Internet of Things
Auteurs: Cédric EICHLER, Pascal BERTHOME, Fergal MARTIN-TRICOT
2021 17th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - HAL : 3442592
-
-
Revue internationale à comité de lecture - (3)
-
On Commutative Gelfand Rings
Auteurs: , A ALIABAD, M BADIE, Sajad NAZARI
HAL : 3537350 -
A model transformation approach for multiscale modeling of software architectures applied to smart cities
Auteurs: Cédric EICHLER, Ilhem KHLIF, Mohamed HADJ KACEM, Khalil DRIRA, Ahmed HADJ KACEM
HAL : 3624542 -
Graph rewriting rules for RDF database evolution: optimizing side-effect processing
Auteurs: Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
HAL : 4236953
-
2020 - (15)
-
Thèse - (1)
-
Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution
Auteurs: , Salwa SOUAF
HAL : 3616187
-
-
Autres Publications - (3)
-
Graph Rewriting System for Consistent Evolution of RDF/S databases
Auteurs: Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
HAL : 2658115 -
Rough concepts
Auteurs: Sabine FRITTELLA, Willem CONRADIE, Krishna MANOORKAR, Sajad NAZARI, Alessandra PALMIGIANO, Apostolos TZIMOULIS, Nachoem M. WIJNBERG
HAL : 2504608 -
Specification of side-effect management techniques for semantic graph sanitization
Auteurs: Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
HAL : 2957977
-
-
Poster - (1)
-
Ethical reasoning and protocols for improving the scientific integrity
Auteurs: Christian TOINARD
HAL : 3547141
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (5)
-
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation
Auteurs: Radu CIUCANU, Pascal LAFOURCADE
HAL : 2544920 -
Designing Reverse Firewalls for the Real World
Auteurs: Xavier BULTEL, Angèle BOSSUAT, Pierre-Alain FOUQUE, Cristina ONETE, Thyla VAN DER MERWE
HAL : 3225846 -
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation
Auteurs: Radu CIUCANU, Pascal LAFOURCADE
HAL : 2942717 -
Graph Rewriting Rules for RDF Database Evolution Management
Auteurs: Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
Proceedings of the International Conference on Information Integration and Web-based Applications & Services - HAL : 2956728 -
An Enrolment Gateway for Data Security in Heterogeneous Industrial Internet of Things
Auteurs: Cédric EICHLER, Pascal BERTHOME, Fergal MARTIN-TRICOT
HAL : 2960931
-
-
Publications dans les actes d'un congrès national avec comité de lecture - (1)
-
DARC : Data Anonymization and Re-identification Challenge
Auteurs: Benjamin NGUYEN, Antoine BOUTET, Mathieu CUNCHE, Sébastien GAMBS, Antoine LAURENT
HAL : 2514666
-
-
Revue internationale à comité de lecture - (3)
-
Rings in which idempotents generate maximal or minimal ideals
Auteurs: , Themba DUBE, Mojtaba GHIRATI, Sajad NAZARI, Ali TAHERIFAR
HAL : 2913406 -
Toward a Dempster-Shafer theory of concepts
Auteurs: Sabine FRITTELLA, Krishna MANOORKAR, Alessandra PALMIGIANO, Apostolos TZIMOULIS, Nachoem M. WIJNBERG
HAL : 3756969 -
A Faster Cryptographer's Conspiracy Santa
Auteurs: Xavier BULTEL, Jannik DREIER, Jean-Guillaume DUMAS, Pascal LAFOURCADE
HAL : 2611751
-
-
Revue nationale à comité de lecture - (1)
-
Techniques d'anonymisation tabulaire : concepts et mise en oeuvre
Auteurs: Benjamin NGUYEN, Claude CASTELLUCCIA
HAL : 2570847
-
2019 - (13)
-
Communications sans actes - (1)
-
oMAC : Open Model for Automotive Cybersecurity
Auteurs: Vincent HUGOT, Christian TOINARD, Adrien JOUSSE, Benjamin VENELLE
HAL : 2497993
-
-
Conférence donnée sur invitation - (3)
-
Atelier : Sécurité informatique et protection de la vie privée : pratiques et perspectives dans les entreprises
Auteurs: Benjamin NGUYEN, Françoise FESSANT, Arnaud HOURSON, Lucas LAISE
HAL : 1994883 -
Secure and Efficient Matrix Multiplication with MapReduce
Auteurs: Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
HAL : 2942677 -
Tutoriel : Anonymization Techniques : Theory and Practice
Auteurs: Benjamin NGUYEN
HAL : 1994875
-
-
Poster - (1)
-
Industrial Internet of Things: Security of Interoperability
Auteurs: Cédric EICHLER, Pascal BERTHOME, Fergal MARTIN-TRICOT
HAL : 3021574
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (4)
-
Teaching Android Mobile Security
Auteurs: Pascal BERTHOME, Jean-François LALANDE, Valérie VIET TRIEM TONG, Pierre GRAUX, Guillaume HIET, Wojciech MAZURCZYK, Habiba CHAOUI
HAL : 1940652 -
Extending Atomic Chain Swaps
Auteurs: Jérémy BRIFFAUT, Benjamin NGUYEN, Jean-Yves ZIÉ, Jean-Christophe DENEUVILLE
HAL : 2570859 -
Secure Intersection with MapReduce
Auteurs: Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
HAL : 2273966 -
Secure Strassen-Winograd Matrix Multiplication with MapReduce
Auteurs: Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
HAL : 2129154
-
-
Revue internationale à comité de lecture - (4)
-
Formally verified software countermeasures for control-flow integrity of smart card C code
Auteurs: Pascal BERTHOME, Karine HEYDEMANN, Jean-François LALANDE
HAL : 2147707 -
Probabilistic Epistemic Updates on Algebras
Auteurs: Sabine FRITTELLA, Willem CONRADIE, Alessandra PALMIGIANO, Apostolos TZIMOULIS, Nachoem WIJNBERG
HAL : 2973836 -
Logics for Unordered Trees with Data Constraints
Auteurs: Adrien BOIRET, Vincent HUGOT, Joachim NIEHREN, Ralf TREINEN
HAL : 1961412 -
Personal Data Management Systems: The security and functionality standpoint
Auteurs: Nicolas ANCIAUX, Benjamin NGUYEN, Philippe BONNET, Luc BOUGANIM, Philippe PUCHERAL, Iulian SANDU-POPA, Guillaume SCERRI
HAL : 2464918
-
2018 - (15)
-
Autres Publications - (1)
-
Cryptanalysis of a code-based one-time signature
Auteurs: , Jean-Christophe DENEUVILLE, Philippe GABORIT
HAL : 1961491
-
-
Chapitre d'ouvrages scientifiques - (1)
-
The Case for Personalized Anonymization of Database Query Results
Auteurs: Benjamin NGUYEN, Axel MICHEL, Philippe PUCHERAL
HAL : 1945674
-
-
Communications sans actes - (5)
-
Ouroboros-E: An Efficient Lattice-based Key-Exchange Protocol
Auteurs: , Jean-Christophe DENEUVILLE, Philippe GABORIT, Qian GUO, Thomas JOHANSSON
HAL : 1946358 -
De l’éthique de la numérisation de la santé à la numérisation de l’éthique de la santé
Auteurs: Christian TOINARD, Jean-Claude FONDRAS, Marie-Elisabeth LABAT
HAL : 1959555 -
Personalized k-anonymity
Auteurs: Benjamin NGUYEN
HAL : 1994719 -
Delegating Elliptic-Curve Operations with Homomorphic Encryption
Auteurs: , Carlos AGUILAR MELCHOR, Jean-Christophe DENEUVILLE, Philippe GABORIT, Tancrède LEPOINT, Thomas RICOSSET
HAL : 1946364 -
Post-Quantum Cryptography: tomorrow’s security
Auteurs: , Jean-Christophe DENEUVILLE
HAL : 1946368
-
-
Poster - (1)
-
Interopérabilité dans l'Internet des Objets : Étude et mise en œuvre
Auteurs: Pascal BERTHOME, Cédric EICHLER, Fergal MARTIN-TRICOT
HAL : 1951321
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (5)
-
Correctness by construction and style preserving reconfigurations of system of systems
Auteurs: Cédric EICHLER, Khalil DRIRA, Thierry MONTEIL, Patricia STOLF
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing - HAL : 2652140 -
Software Tool Support for Modular Reasoning in Modal Logics of Actions
Auteurs: Sabine FRITTELLA, Samuel BALCO, Giuseppe GRECO, Alexander KURZ, Alessandra PALMIGIANO
HAL : 1836507 -
Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems
Auteurs: Laurent BOBELIN, Cédric EICHLER, Khalil DRIRA
HAL : 1895173 -
Secure Joins with MapReduce
Auteurs: Xavier BULTEL, Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
HAL : 1956966 -
A refinement-based approach for specifying multi-scale software architectures
Auteurs: Cédric EICHLER, Ilhem KHLIF, Imen TOUNSI, Mohamed Hadj KACEM, Ahmed Hadj KACEM
HAL : 1836351
-
-
Publications dans les actes d'un congrès national avec comité de lecture - (1)
-
A reasoning approach towards Ethics-Based Medicine and care of disabled people
Auteurs: Christian TOINARD, Jean-Claude FONDRAS, Marie-Elisabeth LABAT
HAL : 1959546
-
-
Revue internationale à comité de lecture - (1)
-
Efficient Encryption From Random Quasi-Cyclic Codes
Auteurs: , Carlos AGUILAR MELCHOR, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Gilles ZÉMOR
HAL : 1951335
-
2017 - (17)
-
Autres Publications - (8)
-
Rank Quasi-Cyclic (RQC)
Auteurs: , Carlos AGUILAR MELCHOR, Nicolas ARAGON, Slim BETTAIEB, Loïc BIDOUX, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Gilles ZÉMOR
HAL : 1946894 -
Hamming Quasi-Cyclic (HQC)
Auteurs: , Carlos AGUILAR MELCHOR, Nicolas ARAGON, Slim BETTAIEB, Loïc BIDOUX, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Edoardo PERSICHETTI, Gilles ZÉMOR
HAL : 1946880 -
Aide à la planification de la prise en charge d’enfants handicapés moteurs
Auteurs: Laurent BOBELIN, Christian TOINARD, Killian DURAND, Nadège FICHOT, Adrien JOUSSE, Yannick KERGOSIEN, Marie-Elisabeth LABAT, Amandine ROYER
HAL : 1966675 -
LAKE - Low rAnk parity check codes Key Exchange
Auteurs: , Nicolas ARAGON, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Adrien HAUTEVILLE, Olivier RUATTA, Jean-Pierre TILLICH, Gilles ZÉMOR
HAL : 1946967 -
Matthew Effects via Team Semantics
Auteurs: Sabine FRITTELLA, Giuseppe GRECO, Michele PIAZZAI, Nachoem WIJNBERG, Fan YANG
HAL : 1509419 -
Ouroboros-R
Auteurs: , Carlos AGUILAR MELCHOR, Nicolas ARAGON, Slim BETTAIEB, Loïc BIDOUX, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Adrien HAUTEVILLE, Gilles ZÉMOR
HAL : 1946902 -
Towards an epistemic-logical theory of categorization
Auteurs: Sabine FRITTELLA, Willem CONRADIE, Alessandra PALMIGIANO, Michele PIAZZAI, Apostolos TZIMOULIS, Nachoem WIJNBERG
HAL : 1509418 -
LOCKER - LOw rank parity ChecK codes EncRyption
Auteurs: , Nicolas ARAGON, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Adrien HAUTEVILLE, Olivier RUATTA, Jean-Pierre TILLICH, Gilles ZÉMOR
HAL : 1946962
-
-
Communications sans actes - (4)
-
What is Fair Data Processing ?
Auteurs: Benjamin NGUYEN
https://www.isi-web.org/index.php/publications/proceedings - HAL : 1994667 -
Personalized Anonymization or the art of Private (Fair ?) Data Processing
Auteurs: Benjamin NGUYEN
HAL : 1994712 -
Projet GIRAFON: Protection de la vie privée dans le cadre de l'interrogation, la fouille et l'analyse de grands graphes
Auteurs: Cédric EICHLER, Pascal BERTHOME, Benjamin NGUYEN
HAL : 1985987 -
Private, Secure and Distributed Computation of k-cores
Auteurs: Pascal BERTHOME, Cédric EICHLER, Benjamin NGUYEN, Maria Evgenia G. ROSSI
HAL : 1975143
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (4)
-
Managing Distributed Queries under Personalized Anonymity Constraints
Auteurs: Benjamin NGUYEN, Axel MICHEL, Philippe PUCHERAL
HAL : 1682316 -
A Software Test Approach to Evaluate the Enforcement of a Workflow Engine
Auteurs: Laurent BOBELIN, Christian TOINARD, Tuan TRAN, Stéphane MOINARD
HAL : 1966672 -
Toward an Epistemic-Logical Theory of Categorization
Auteurs: Sabine FRITTELLA, Willem CONRADIE, Alessandra PALMIGIANO, Apostolos TZIMOULIS, Nachoem WIJNBERG
HAL : 1509416 -
E-HandicapScale : an open and secure way to promote and improve diagnostics of disabled patients
Auteurs: Laurent BOBELIN, Christian TOINARD, Andrès GIL, Marie-Elisabeth LABAT
Proceedings of the 2017 International Conference on Health Informatics and Medical Systems - HAL : 1966667
-
-
Revue internationale à comité de lecture - (1)
-
A multi-scale modeling approach for systems of systems architectures
Auteurs: Cédric EICHLER, Ilhem KHLIF, Mohamed Hadj KACEM, Ahmed Hadj KACEM
HAL : 1643760
-
2016 - (9)
-
Communications sans actes - (3)
-
Shortest Processing Time First and Hadoop
Auteurs: Laurent BOBELIN, Patrick MARTINEAU, Haiwu HE
HAL : 1308183 -
Managing distributed queries under anonymity constraints
Auteurs: Benjamin NGUYEN, Axel MICHEL
HAL : 1424993 -
Exécution de requêtes distribuées sous contraintes d'anonymat
Auteurs: Benjamin NGUYEN, Axel MICHEL, Philippe PUCHERAL
HAL : 1424989
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (2)
-
DatShA :A Data Sharing Algebra for access control plans
Auteurs: Benjamin NGUYEN, Luc BOUGANIM, Athanasia KATSOURAKI
HAL : 1289023 -
Multi-scale modeling for software-intensive systems-of-systems architectures
Auteurs: Cédric EICHLER, Ilhem KHLIF, Mohamed Hadj KACEM, Khalil DRIRA, Ahmed Hadj KACEM
HAL : 1836346
-
-
Publications dans les actes d'un congrès national avec comité de lecture - (2)
-
Ethique et risques pour la prise en charge du handicap
Auteurs: Christian TOINARD, Marie-Elisabeth LABAT
HAL : 1959548 -
Risques liés à la planification des emplois du temps pour la prise en charge d’enfants handicapés
Auteurs: Christian TOINARD, Yannick KERGOSIEN
Gestion des risques Naturels, technologiques et sanitaires (Congrès Envirorisk 2016) - HAL : 3578063
-
-
Revue internationale à comité de lecture - (2)
-
Private and Scalable Execution of SQL Aggregates on a Secure Decentralized Architecture
Auteurs: Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
HAL : 1296432 -
Attributed Graph Rewriting for Complex Event Processing Self-Management
Auteurs: Cédric EICHLER, Wilson A. HIGASHINO, Miriam CAPRETZ, Luiz F. BITTENCOURT, Thierry MONTEIL
HAL : 1369701
-
2015 - (14)
-
Communications sans actes - (5)
-
Managing Personal Data with Strong Privacy Guarantees. Tutoriel
Auteurs: Nicolas ANCIAUX, Benjamin NGUYEN
HAL : 1178684 -
TrustedMR: A Trusted MapReduce System based on Tamper Resistance
Auteurs: Benjamin NGUYEN, Quoc-Cuong TO, Philippe PUCHERAL
HAL : 1176539 -
Secure Portable Tokens for Sensitive Questionnaires Surveys
Auteurs: Benjamin NGUYEN, Athanasia KATSOURAKI, Luc BOUGANIM, Paul TRAN-VAN
HAL : 1176544 -
An autonomous Cloud management system for in-depth security.
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET
HAL : 1191746 -
TrustedMR : Un système MapReduce de confiance basé sur l'utilisation de matériel sécurisé
Auteurs: Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
HAL : 1296448
-
-
Conférence donnée sur invitation - (2)
-
Towards an Era of Trust in Personal Data Management
Auteurs: Nicolas ANCIAUX, Benjamin NGUYEN, Iulian SANDU-POPA
HAL : 1176512 -
To be or not to be (anonymous)?
Auteurs: Benjamin NGUYEN, Daniel LE MÉTAYER, Josep DOMINGO-FERRER, Mark ELLIOTT, Antoinette ROUVROY, Vincent TOUBIANA
HAL : 1296465
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (4)
-
Microarchitecture-Aware Virtual Machine Placement under Information Leakage Constraints
Auteurs: Christian TOINARD, Arnaud LEFRAY, Eddy CARON, Jonathan ROUZAUD-CORNABAS
HAL : 1240573 -
An Autonomic Cloud Management System for Enforcing Security and Assurance Properties
Auteurs: Laurent BOBELIN, Jérémy BRIFFAUT, Aline BOUSQUET
HAL : 1191740 -
TrustedMR: A Trusted MapReduce System based on Tamper Resistance Hardware
Auteurs: Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
HAL : 1254951 -
Enforcing Security and Assurance Properties in Cloud Environment
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Eddy CARON, Eva MARÍA DOMINGUEZ, Javier FRANCO, Arnaud LEFRAY, Oscar LÓPEZ, Saioa ROS, Jonathan ROUZAUD-CORNABAS, Mikel URIARTE
HAL : 1240557
-
-
Revue internationale à comité de lecture - (2)
-
Limiting Data Exposure in Multi-Label Classification Processes
Auteurs: Nicolas ANCIAUX, Benjamin NGUYEN, Danae BOUTARA, Michalis VAZIRGIANNIS
HAL : 1176445 -
A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing
Auteurs: Pascal BERTHOME, Saïd GHAROUT, Ghada ARFAOUI, Jean-François LALANDE, Jacques TRAORÉ, Nicolas DESMOULINS
HAL : 2920002
-
-
Revue nationale à comité de lecture - (1)
-
Gestion sécurisée de données personnelles
Auteurs: Nicolas ANCIAUX, Benjamin NGUYEN
HAL : 1179047
-
2014 - (9)
-
Chapitre d'ouvrages scientifiques - (1)
-
Mandatory access protection within cloud systems
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Aline BOUSQUET, Laurent CLÉVY, Damien GROS, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE
HAL : 1212808
-
-
Conférence donnée sur invitation - (1)
-
De la sécurité de la virtualisation à la sécurité des Clouds
Auteurs: Patrice CLEMENTE
HAL : 3226185
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (4)
-
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic
Auteurs: Pascal BERTHOME, Michael FRANÇOIS, David DEFOUR
HAL : 985357 -
Software countermeasures for control flow integrity of smart card C codes
Auteurs: Pascal BERTHOME, Jean-François LALANDE, Karine HEYDEMANN
HAL : 1059201 -
An autonomous Cloud management system for in-depth security
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET
2014 IEEE 3rd International Conference on Cloud Networking (CloudNet) - HAL : 1131866 -
An Advanced Security-Aware Cloud Architecture
Auteurs: Laurent BOBELIN, Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Eddy CARON, Jean-François COUTURIER, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS
HAL : 1063852
-
-
Publications dans les actes d'un congrès national avec comité de lecture - (1)
-
Vers une méthode de maîtrise des risques dans l'informatisation de l'aide au handicap
Auteurs: Christian TOINARD, Jean-Yves ANTOINE, Marie-Elisabeth LABAT, Anaïs LEFEUVRE
HAL : 1213198
-
-
Revue internationale à comité de lecture - (1)
-
An extended attribute based access control model with trust and privacy: Application to a collaborative crisis management system
Auteurs: Patrice CLEMENTE, Waleed SMARI, Jean-François LALANDE
HAL : 835887
-
-
Revue nationale à comité de lecture - (1)
-
Techniques d'anonymisation
Auteurs: Benjamin NGUYEN
HAL : 1113412
-
2013 - (12)
-
Autres Publications - (2)
-
An Unified FPT Algorithm for Width of Partition Functions
Auteurs: Pascal BERTHOME, Tom BOUVIER, Frédéric MAZOIT, Nicolas NISSE, Ronan PARDO SOARES
HAL : 867602 -
Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS
HAL : 916882
-
-
Chapitre d'ouvrages scientifiques - (2)
-
PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Z. AFOULKI, Aline BOUSQUET, Laurent CLÉVY, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE
HAL : 840731 -
Honeypot forensics for system and network SIEM design
Auteurs: Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
HAL : 677340
-
-
Communications sans actes - (1)
-
Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Stéphane BETGE-BREZETZ, Aline BOUSQUET, Eddy CARON, Laurent CLÉVY, Marie-Pascale DUPONT, Guy-Bertrand KAMGA, Jean-Marc LAMBERT, Arnaud LEFRAY, Bertrand MARQUET, Jonathan ROUZAUD-CORNABAS, Lamiel TOCH, Benjamin VENELLE
HAL : 840730
-
-
Poster - (1)
-
Security-Aware Models for Clouds
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Arnaud LEFRAY, Eddy CARON, Jonathan ROUZAUD-CORNABAS, Zhang HUAXI YULIN, Aline BOUSQUET
HAL : 840734
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (6)
-
Security Enhanced Java: Mandatory Access Control for the Java Virtual Machine
Auteurs: Jérémy BRIFFAUT, Benjamin VENELLE, Laurent CLÉVY, C. TOINARD
HAL : 840729 -
Access Control and Security Properties Requirements Specification for Clouds' SecLAs
Auteurs: Patrice CLEMENTE, Asma GUESMI
HAL : 3226333 -
PIGA-Cluster: a distributed architecture integrating a shared and resilient reference monitor to enforce mandatory access control in the HPC environment
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
HAL : 840736 -
Mandatory Access Control for the Android Dalvik Virtual Machine
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Laurent CLÉVY, Benjamin VENELLE
HAL : 840732 -
Mandatory access control with a multi-level reference monitor: PIGA-cluster
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
HAL : 840735 -
Definition of security metrics for the Cloud Computing and security-aware virtual machine placement algorithms
Auteurs: Christian TOINARD, Eddy CARON, Le ANH DUNG, Arnaud LEFRAY
HAL : 932401
-
2012 - (13)
-
Autres Publications - (1)
-
Implementation of exponential and parametrized algorithms in the AGAPE project
Auteurs: Pascal BERTHOME, Jean-François LALANDE, Vincent LEVORATO
HAL : 663866
-
-
Communications sans actes - (2)
-
Comment ajouter de la privacy after design pour les applications Android ?
Auteurs: Pascal BERTHOME, Jean-François LALANDE
HAL : 710492 -
SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs
Auteurs: Patrice CLEMENTE, Bangaly KABA, Jonathan ROUZAUD-CORNABAS, Marc ALEXANDRE, Guillaume AUJAY
HAL : 766721
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (7)
-
High level model of control flow attacks for smart card functional security
Auteurs: Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
HAL : 721111 -
Advanced protection of workflow sessions with SEWebSession
Auteurs: Christian TOINARD, Maxime FONDA, Stéphane MOINARD
HAL : 809341 -
FIELDS : Flow Intrusion Extrusion Largescale Detection System
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Nicolas GRENÈCHE, Quentin NARVOR
HAL : 771333 -
Repackaging Android applications for auditing access to private data
Auteurs: Pascal BERTHOME, Thomas FÉCHEROLLE, Nicolas GUILLOTEAU, Jean-François LALANDE
HAL : 721407 -
Advanced MAC in HPC systems: performance improvement
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Damien GROS, Mathieu BLANC
HAL : 1079329 -
Compacting Security Signatures for PIGA IDS
Auteurs: Pascal BERTHOME, Jérémy BRIFFAUT, Pierre CLAIRET
HAL : 770935 -
HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots
Auteurs: Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
HAL : 721415
-
-
Publications dans les actes d'un congrès national avec comité de lecture - (3)
-
Contrôle d'accès mandataire pour Windows 7
Auteurs: Christian TOINARD, Jérémy BRIFFAUT, Damien GROS
SSTIC - HAL : 755023 -
Compression de signatures pour PIGA IDS
Auteurs: Pascal BERTHOME, Jérémy BRIFFAUT, Pierre CLAIRET
HAL : 780205 -
PIGA-Windows : contrôle des flux d'information avancés sur les systèmes d'exploitation Windows 7
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Damien GROS, Mathieu BLANC
HAL : 771337
-
2011 - (9)
-
Autres Publications - (2)
-
From Manual Cyber Attacks Forensic to Automatic Characterization of Attackers' Profiles J. Briffaut, P. Clemente, J.-F. Lalande, J. Rouzaud-Cornabas
Auteurs: Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
HAL : 995211 -
Security and Virtualization: a Survey
Auteurs: Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
HAL : 3226336
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (4)
-
Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce
Auteurs: Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
HAL : 596984 -
Simulating physical attacks in smart card C codes: the jump attack case
Auteurs: Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
HAL : 596997 -
SYNEMA: visual monitoring of network and system security sensors
Auteurs: Patrice CLEMENTE, Aline BOUSQUET, Jean-François LALANDE
HAL : 596893 -
PIGA-Virt: an Advanced Distributed MAC Protection of Virtual Systems
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS, Emilie LEFEBVRE
HAL : 671592
-
-
Publications dans les actes d'un congrès national avec comité de lecture - (1)
-
PIGA-OS : Retour sur le Système d'Exploitation Vainqueur du Défi Sécurité
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Martin PERES, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE, Jigar SOLANKI
HAL : 671591
-
-
Revue internationale à comité de lecture - (2)
-
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS
Auteurs: Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
HAL : 3226326 -
PIGA-HIPS: Protection of a shared HPC cluster
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
HAL : 671586
-
2010 - (6)
-
Communications sans actes - (1)
-
An integrity security property based on information flows : Application to the enforcement of a classical operating system
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
HAL : 459827
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (3)
-
A Dynamic End-to-End Security for Coordinating Multiple Protections within a Linux Desktop
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Martin PERES
HAL : 483076 -
Attack model for verification of interval security properties for smart card C codes
Auteurs: Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
HAL : 476478 -
Protection of a Shared HPC Cluster
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Thibault COULLET, Maxime FONDA
HAL : 474285
-
-
Revue internationale à comité de lecture - (2)
-
Sensitivity analysis on the all pairs q-route flows in a network
Auteurs: Pascal BERTHOME, Madiagne DIALLO, Serigne GUEYE
HAL : 459975 -
From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems
Auteurs: Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
HAL : 511130
-
2009 - (14)
-
Conférence donnée sur invitation - (1)
-
SEC&SI: Un défi pour la réalisation d'un système d'exploitation cloisonné et sécurisé pour l'Internaute: Le Projet SPACLik
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
HAL : 461281
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (7)
-
A New Approach to Enforce the Security Properties of a Clustered High-Interaction Honeypot
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS, Yacine ZEMALI
HAL : 454467 -
Authorisation session management in on-demand resource provisioning in collaborative applications
Auteurs: Christian TOINARD, Yuri DEMCHENKO, Cees DE LAAT, Thierry DENYS
HAL : 461032 -
Generation of role based access control security policies for Java collaborative applications
Auteurs: Jérémy BRIFFAUT, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE, Waleed SMARI
HAL : 451800 -
Enforcement of security properties for dynamic MAC policies
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE, Mathieu BLANC
HAL : 451806 -
Impact of a varying capacity on the all pairs 2-route network flows
Auteurs: Pascal BERTHOME, Madiagne DIALLO, Serigne GUEYE
HAL : 459976 -
Trust and privacy in attribute based access control for collaboration environments
Auteurs: Patrice CLEMENTE, Waleed SMARI, Jian ZHU
HAL : 3226321 -
Toward a real MLS/SELinux system for end users: an empirical study
Auteurs: Patrice CLEMENTE, Mathieu BLANC, Steve-William KISSI
HAL : 3226176
-
-
Revue internationale à comité de lecture - (6)
-
Formalization of security properties: enforcement for MAC operating systems and verification of dynamic MAC policies
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE
HAL : 464773 -
Mixing convergence and deflection strategies for packet routing in all-optical networks
Auteurs: Pascal BERTHOME, Dominique BARTH, Dominique CHIARONI, Jean-Michel FOURNEAU, Christian LAFOREST, Sandrine VIAL
HAL : 460085 -
An Elementary Chromatic Reduction for Gain Graphs and Special Hyperplane Arrangements
Auteurs: Pascal BERTHOME, Raul CORDOVIL, David FORGE, Veronique VENTOS, Thomas ZASLAVSKY
HAL : 491020 -
Security and results of a large-scale high-interaction honeypot
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE
HAL : 451810 -
Security properties in an open peer-to-peer network
Auteurs: Christian TOINARD, Jean-François LALANDE, David RODRIGUEZ
HAL : 451807 -
Classification of malicious distributed SELinux activities
Auteurs: Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Jonathan ROUZAUD-CORNABAS
HAL : 459817
-
2008 - (6)
-
Autres Publications - (1)
-
A unified FPT Algorithm for Width of Partition Functions
Auteurs: Pascal BERTHOME, Nicolas NISSE
HAL : 321766
-
-
Chapitre d'ouvrages scientifiques - (1)
-
Automation of the Volumetric Models Construction
Auteurs: Christian TOINARD, Pierre-Alain FAYOLLE, Alexander PASKO, Elena KARTASHEVA, Christophe ROSENBERGER
HAL : 288449
-
-
Communications sans actes - (1)
-
Proposition d'un pot-de-miel haute-interaction à large-échelle
Auteurs: Jérémy BRIFFAUT
HAL : 459794
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (3)
-
Team-based MAC policy over Security-Enhanced Linux
Auteurs: Jérémy BRIFFAUT, Jean-François LALANDE, Waleed SMARI
HAL : 451804 -
A proposal for securing a large-scale high-interaction honeypot
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE
HAL : 447542 -
Correlation of system events: High performance classification of selinux activities and scenarios
Auteurs: Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
HAL : 459822
-
2007 - (1)
-
Thèse - (1)
-
Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions
Auteurs: Jérémy BRIFFAUT
HAL : 261613
-
2006 - (9)
-
Communications sans actes - (1)
-
Politique de contrôle d'accès et détection d'intrusion basée sur une approche de méta-politique
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
HAL : 459990
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (8)
-
Collaboration between MAC policies and IDS based on a meta-policy approach
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
HAL : 81640 -
Constructive tree recovery using genetic algorithms
Auteurs: Christian TOINARD, Pierre-Alain FAYOLLE, A. PASKO, N. MIRENKOV, Christophe ROSENBERGER
HAL : 461021 -
Comparative study of invariant descriptors for face recognition
Auteurs: Christian TOINARD, Baptiste HEMERY, Christophe ROSENBERGER, Bruno EMILE
HAL : 460993 -
Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politique
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
HAL : 461179 -
Shape modeling with genetic programming
Auteurs: Christian TOINARD, Pierre-Alain FAYOLLE, Sara SILVA, G. LATINIER, D. SAFFREY, Christophe ROSENBERGER
HAL : 461000 -
Distributed control enabling consistent MAC policies and IDS based on a meta-policy approach
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
HAL : 82278 -
A Multi-Agent and Multi-Level Architecture to Secure Distributed Systems
Auteurs: Jérémy BRIFFAUT, Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Mohammed GAD EL RAB
HAL : 3226172 -
A Collaborative Approach for Access Control, Intrusion Detection and Security Testing
Auteurs: Jérémy BRIFFAUT, Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Mohammed GAD EL RAB
HAL : 3226354
-
2005 - (8)
-
Communications sans actes - (1)
-
Systèmes de confiance et détection d'intrusion répartis
Auteurs: Jérémy BRIFFAUT, Patrice CLEMENTE, Christian TOINARD, Anas ABOU EL KALAM, Pierre COURTIEU, Fabrice GADAUD, Gaetan HAINS, Jean-François LALANDE
HAL : 459971
-
-
Conférence donnée sur invitation - (1)
-
Sécurité des services-web
Auteurs: Jérémy BRIFFAUT, Christian TOINARD
HAL : 459809
-
-
Publications dans les actes d'un congrès international avec comité de lecture - (6)
-
Evolutionary computation approaches for shape modelling and fitting
Auteurs: Christian TOINARD, Sara SILVA, Pierre-Alain FAYOLLE, Johanne VINCENT, Guillaume PAURON, Christophe ROSENBERGER
HAL : 461016 -
Smaji : Jeux itérés et graphes
Auteurs: Jérémy BRIFFAUT, Jean-Paul DELAHAYE
HAL : 459799 -
Intrusion Detection and Security Policy Framework for Distributed Environments
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Anas ABOU EL KALAM, Mathieu BLANC
HAL : 83320 -
Détection d'intrusion orientée méta-politique
Auteurs: Jérémy BRIFFAUT
HAL : 83333 -
MIDS: Multi level Intrusion Detection System
Auteurs: Jérémy BRIFFAUT, Christian TOINARD, Anas ABOU EL KALAM, Mathieu BLANC, Laurent OUDOT
HAL : 83309 -
Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique
Auteurs: Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Pierre COURTIEU, Stéphane FRANCHE, Laurent OUDOT, Lionel VESSILLER
HAL : 83402
-
2004 - (5)
-
Publications dans les actes d'un congrès international avec comité de lecture - (5)
-
3d shape reconstruction of template models using genetic algorithm
Auteurs: Christian TOINARD, Pierre-Alain FAYOLLE, Christophe ROSENBERGER
HAL : 461168 -
Shape recovery and functional modeling using genetic algorithms
Auteurs: Christian TOINARD, Pierre-Alain FAYOLLE, Christophe ROSENBERGER
HAL : 461170 -
A novel approach for distributed updates of MAC policies using a meta-protection framework
Auteurs: Christian TOINARD, Mathieu BLANC, Pierre COURTIEU, Gaetan HAINS, Laurent OUDOT
HAL : 83215 -
Usage of a formal result to design a causally and totally ordered multicast protocol
Auteurs: Christian TOINARD
HAL : 461173 -
Hardening large-scale networks security through a meta-policy framework
Auteurs: Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Pierre COURTIEU, Stéphane FRANCHE, Laurent OUDOT, Lionel VESSILLER
HAL : 83400
-
2003 - (2)
-
Publications dans les actes d'un congrès international avec comité de lecture - (2)
-
Secure replication limiting passive and active attacks
Auteurs: Christian TOINARD, Mahery ANDRIAMBOLOLONA, Mathieu BLANC, Lionel BARTHE, Bruno DOOLAEGHE, Michaël HERVIEUX, Khalid KADRI HASSANI, Pascal LEFEUVRE, Thomas MEURISSE
HAL : 83209 -
An adaptive secure multicast system supporting mobile working
Auteurs: Christian TOINARD, Mathieu BLANC, Mahery ANDRIAMBOLOLONA, Lionel BARTHE, Bruno DOOLAEGHE, Michaël HERVIEUX, Khalid KADRI HASSANI, Pascal LEFEUVRE, Thomas MEURISSE
HAL : 83202
-
2002 - (1)
-
Publications dans les actes d'un congrès international avec comité de lecture - (1)
-
Collaborative Simulation by Reuse of COTS Simulators with a Reflexive XML Middleware
Auteurs: Christian TOINARD, Mathieu BLANC, Fabien COSTANTINI, Sébastien DUBOIS, Manuel FORGET, Olivier FRANCILLON
HAL : 468719
-
Projets de l'équipe
Titre | Début | Fin | Envergure | Type projet |
---|---|---|---|---|
AMI CMA CyberINSA | 2023 | 2027 | Nationale | ANR |
ANR DifPriPos | 2023 | 2027 | Nationale | ANR |
ANR PRELAP | 2019 | 2024 | Nationale | ANR |
ANR Priva-SIQ | 2024 | 2029 | Nationale | ANR |
ANR SENDUP | 2018 | 2023 | Nationale | ANR |
APR IA SIOMediC | 2022 | 2025 | Régionale | APR |
DSG Plateformes logicielles pour la sécurité informatique | 2022 | 2024 | Régionale | DGS (Rectorat) |
MOSAIC | 2021 | 2025 | Internationale | RISE |
PEPR Interdisciplinary Project on Privacy | 2022 | 2027 | Nationale | ANR |
PEPR Santé Numérique TRACIA | 2023 | 2024 | Nationale | ANR |
Sécurité de l'internet des objets médicaux | 2023 | 2024 | Régionale | APR |