default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAxel Legay
Person information
- affiliation: Université Catholique de Louvain, Belgium
- affiliation (former): IRISA, Rennes, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j109]Leonardo Picchiami, Maxime Parmentier, Axel Legay, Toni Mancini
, Enrico Tronci:
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures. J. Syst. Softw. 219: 112238 (2025)- [j108]Eduard Baranov, Axel Legay:
Baital: Sampling configurable systems with high t-wise coverage. Sci. Comput. Program. 240: 103209 (2025) - 2024
- [j107]Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay:
Analysis of machine learning approaches to packing detection. Comput. Secur. 136: 103536 (2024) - [j106]Rosana Veroneze, Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay:
Feature selection for packer classification based on association rule mining. Eng. Appl. Artif. Intell. 137: 109083 (2024) - [j105]Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran:
A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. IEEE Trans. Software Eng. 50(8): 2021-2039 (2024) - [c307]Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Extended Abstract: Evading Packing Detection: Breaking Heuristic-Based Static Detectors. DIMVA 2024: 174-183 - [c306]Eduard Baranov, Axel Legay, Martin Vivian:
Fuzzing an Industrial Proprietary Protocol. FMICS 2024: 119-135 - [c305]Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay:
Network Simulator-Centric Compositional Testing. FORTE 2024: 177-196 - [c304]Suzanne Kieffer, Sebastien Nahon, Damien Renard, Axel Legay:
Bridging Disciplinary Boundaries: Integrating XR in Communication Sciences Master's Programs. HCI (41) 2024: 89-105 - [c303]Daniela Azevedo, Justine Ramelot, Axel Legay, Suzanne Kieffer:
With or Without U(sers): A Journey to Integrate UX Activities in Cybersecurity. HCI (45) 2024: 212-231 - [c302]Justine Ramelot, Daniela Azevedo, Axel Legay, Suzanne Kieffer:
Toward interdisciplinary practice and increased social ROI: a case study on downstream effects of integrating UX in cyber system design. HICSS 2024: 7365-7374 - [c301]Xavier Lessage, Leandro Collier, Charles-Henry Bertrand Van Ouytsel, Axel Legay, Saïd Mahmoudi, Philippe Massonet:
Secure federated learning applied to medical imaging with fully homomorphic encryption. ICAIC 2024: 1-12 - [c300]Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay:
Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion 2024: 21-25 - [c299]Charles Lohest, Axel Legay:
Improving security analysis rule set by relationship identification. ICSTW 2024: 297-300 - [c298]Dany Rimez, Axel Legay, Benoît Macq:
Ensuring Data Security and Annotators Anonymity Through a Secure and Anonymous Multiparty Annotation System. NiDS 2024: 620-631 - [c297]Khanh-Huu-The Dam, Gorby Kabasele Ndonda, Axel Legay, Ramin Sadre:
Avoiding "Hot Potato" Problems in Internet Service Providers. NOMS 2024: 1-6 - [c296]Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay:
Combinatorial Transition Testing in Dynamically Adaptive Systems. VaMoS 2024: 1-10 - 2023
- [j104]Axel Legay:
Design, Validate, Implement, and Validate: From Dreaming Approaches to Realities. IT Prof. 25(5): 10-13 (2023) - [j103]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Test scenario generation for feature-based context-oriented software systems. J. Syst. Softw. 197: 111570 (2023) - [c295]Khanh-Huu-The Dam, Axel Legay:
Mitigate Data Poisoning Attack by Partially Federated Learning. ARES 2023: 75:1-75:9 - [c294]Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c293]Magali Legast, Yasaman Yousefi, Lisa Koutsoviti Koumeri, Axel Legay, Christoph Schommer, Koen Vanhoof:
Métriques d'équité en Apprentissage Automatique et droit de l'Union Europénne en matière de non-discrimination. CNIA 2023 - [c292]Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Experimental Toolkit for Manipulating Executable Packing. CRiSIS 2023: 263-279 - [c291]Yasaman Yousefi, Lisa Koutsoviti Koumeri, Magali Legast, Christoph Schommer, Koen Vanhoof, Axel Legay:
Compatibility of Fairness Metrics With EU Non-Discrimination Law: A Legal and Technical Case Study. EWAF 2023 - [c290]Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Refinement of Systems with an Attacker Focus. FMICS 2023: 96-112 - [c289]Serena Lucca, Christophe Crochet, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS (1) 2023: 339-354 - [c288]Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay:
Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. ICSTW 2023: 100-104 - [c287]Thomas Wirtgen, Tom Rousseaux, Quentin De Coninck, Nicolas Rybowski, Randy Bush, Laurent Vanbever, Axel Legay, Olivier Bonaventure:
xBGP: Faster Innovation in Routing Protocols. NSDI 2023: 575-592 - [c286]Magali Legast, Axel Legay:
Assistance in the management of rule sets for rule-based expert systems (S). SEKE 2023: 367-372 - [c285]Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens:
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106 - [c284]Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay:
Family-based model checking of fMultiLTL properties. SPLC (A) 2023: 41-51 - [c283]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Test Scenario Generation for Feature-Based Context-Oriented Software Systems. SPLC (A) 2023: 269-270 - [c282]Maxime Parmentier, Axel Legay, Firmin Chenoy:
Optimized Smart Sampling. AISoLA 2023: 171-187 - [i59]Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski:
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR abs/2302.04529 (2023) - [i58]Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Experimental Toolkit for Manipulating Executable Packing. CoRR abs/2302.09286 (2023) - [i57]Lisa Koutsoviti Koumeri, Magali Legast, Yasaman Yousefi, Koen Vanhoof, Axel Legay, Christoph Schommer:
Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity. CoRR abs/2306.08394 (2023) - 2022
- [j102]Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay, Rosana Veroneze:
Packer classification based on association rule mining. Appl. Soft Comput. 127: 109373 (2022) - [j101]Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay:
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27(7): 160 (2022) - [j100]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022) - [j99]Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière:
SoK: Privacy-enhancing Smart Home Hubs. Proc. Priv. Enhancing Technol. 2022(4): 24-43 (2022) - [j98]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
Several lifted abstract domains for static analysis of numerical program families. Sci. Comput. Program. 213: 102725 (2022) - [j97]Uli Fahrenberg, Axel Legay:
Featured games. Sci. Comput. Program. 223: 102874 (2022) - [j96]Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24(3): 351-370 (2022) - [j95]Axel Legay, Tiziana Margaria:
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Int. J. Softw. Tools Technol. Transf. 24(4): 611-612 (2022) - [c281]Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay:
Symbolic analysis meets federated learning to enhance malware identifier. ARES 2022: 150:1-150:10 - [c280]Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay:
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop 2022 - [c279]Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay:
Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. CRiSIS 2022: 62-68 - [c278]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. COP@ECOOP 2022: 35-43 - [c277]Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet:
Product Incremental Security Risk Assessment Using DevSecOps Practices. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 666-685 - [c276]Daniela Azevedo, Axel Legay, Suzanne Kieffer:
User Reception of Babylon Health's Chatbot. VISIGRAPP (2: HUCAPP) 2022: 134-141 - [c275]Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran:
A Scalable t-wise Coverage Estimator. ICSE 2022: 36-47 - [c274]Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay:
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) 2022: 279-298 - [c273]Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) 2022: 393-405 - [c272]Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Importance Splitting in Uppaal. ISoLA (3) 2022: 433-447 - [c271]Sami Lazreg, Maxime Cordy, Axel Legay:
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) 2022: 448-471 - [c270]Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Malware Analysis with Symbolic Execution and Graph Kernel. NordSec 2022: 292-310 - [c269]Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN 2022: 61-78 - [c268]Eduard Baranov, Axel Legay:
Baital: an adaptive weighted sampling platform for configurable systems. SPLC (B) 2022: 46-49 - [i56]Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Malware Analysis with Symbolic Execution and Graph Kernel. CoRR abs/2204.05632 (2022) - [i55]Khanh-Huu-The Dam, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Symbolic analysis meets federated learning to enhance malware identifier. CoRR abs/2204.14159 (2022) - 2021
- [j94]Lionel Metongnon, Sébastien Strebelle, Fabien Duchene, Axel Legay, Ramin Sadre:
OpenPosLib: A Library to Achieve Centimetric Geo-Spatial Positioning on a Budget. IEEE Access 9: 151507-151517 (2021) - [j93]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j92]Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoît Macq:
Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. EURASIP J. Adv. Signal Process. 2021(1): 39 (2021) - [j91]Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay:
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. 33(6): 1147-1172 (2021) - [j90]Florian Kammüller, Axel Legay, Stefano Schivo:
Masterminding change by combining secure system design with security risk assessment. Int. J. Softw. Tools Technol. Transf. 23(1): 69-70 (2021) - [j89]René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen:
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23(1): 89-104 (2021) - [c267]Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay:
Verifying QUIC implementations using Ivy. EPIQ@CoNEXT 2021: 35-41 - [c266]Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber:
A Secure User-Centred Healthcare System: Design and Verification. DataMod 2021: 44-60 - [c265]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. FASE 2021: 67-86 - [c264]Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181 - [c263]Stanley Goffinet, Donatien Schmitz, Igor Zavalyshyn, Axel Legay, Etienne Rivière:
Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. UbiComp/ISWC Adjunct 2021: 194-197 - [c262]Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière:
Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. LADC 2021: 1-6 - [c261]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
Program Sketching Using Lifted Analysis for Numerical Program Families. NFM 2021: 95-112 - [c260]Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay:
Unsupervised behavioural mining and clustering for malware family identification. SAC 2021: 374-383 - [c259]Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure:
Implementing the plugin distribution system. SIGCOMM Posters and Demos 2021: 39-41 - [c258]Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay:
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. SPIN 2021: 101-119 - [c257]Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Rivière:
Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. SRDS 2021: 46-55 - [c256]Uli Fahrenberg, Axel Legay:
Featured Games. TASE 2021: 167-174 - [c255]Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Analysis of Source Code Using UPPAAL. F-IDE@NFM 2021: 31-38 - [i54]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR abs/2101.08677 (2021) - [i53]Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay:
Analysis of Machine Learning Approaches to Packing Detection. CoRR abs/2105.00473 (2021) - [i52]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Test Scenario Generation for Context-Oriented Programs. CoRR abs/2109.11950 (2021) - 2020
- [j88]Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf:
Optimizing symbolic execution for malware behavior classification. Comput. Secur. 93: 101775 (2020) - [j87]Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020) - [j86]Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. 16(2): 101-120 (2020) - [j85]Davide Basile, Maurice H. ter Beek, Axel Legay:
Timed service contract automata. Innov. Syst. Softw. Eng. 16(2): 199-214 (2020) - [j84]Uli Fahrenberg, Axel Legay:
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020) - [j83]Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020) - [j82]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. 22(5): 563-564 (2020) - [j81]Ioana Cristescu, Thomas Given-Wilson, Axel Legay:
Expressiveness of concurrent intensionality. Theor. Comput. Sci. 837: 54-83 (2020) - [j80]Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. 837: 181-206 (2020) - [j79]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing branching distances with quantitative games. Theor. Comput. Sci. 847: 134-146 (2020) - [j78]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46(3): 321-345 (2020) - [c254]Thomas Given-Wilson, Axel Legay:
Formalising fault injection and countermeasures. ARES 2020: 22:1-22:11 - [c253]Aleksandar S. Dimovski, Axel Legay:
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. FASE 2020: 182-202 - [c252]Maxime Cordy, Mike Papadakis, Axel Legay:
Statistical Model Checking for Variability-Intensive Systems. FASE 2020: 294-314 - [c251]Davide Basile, Maurice H. ter Beek, Axel Legay:
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE 2020: 3-21 - [c250]Thomas Given-Wilson, Eduard Baranov, Axel Legay:
Building User Trust of Critical Digital Technologies. ICIT 2020: 1199-1204 - [c249]Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215 - [c248]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) 2020: 262-274 - [c247]Kim G. Larsen, Axel Legay:
30 Years of Statistical Model Checking. ISoLA (1) 2020: 325-330 - [c246]Eduard Baranov, Thomas Given-Wilson, Axel Legay:
Improving Secure and Robust Patient Service Delivery. ISoLA (1) 2020: 404-418 - [c245]Anshul Paigwar, Eduard Baranov, Alessandro Renzaglia, Christian Laugier, Axel Legay:
Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IV 2020: 737-743 - [c244]Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay:
My House, My Rules: A Private-by-Design Smart Home Platform. MobiQuitous 2020: 273-282 - [c243]Eduard Baranov, Axel Legay, Kuldeep S. Meel:
Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE 2020: 1114-1126 - [c242]Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay:
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) 2020: 30:1-30:11 - [c241]Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre:
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS 2020: 317-322 - [c240]Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, João Silva, Axel Legay:
Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. TrustCom 2020: 607-614 - [c239]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS 2020: 11:1-11:9 - [i51]Uli Fahrenberg, Axel Legay:
Featured Games. CoRR abs/2005.05666 (2020) - [i50]Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Automatic Verification of LLVM Code. CoRR abs/2006.02670 (2020) - [i49]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: an Algebraic Taxonomy. CoRR abs/2009.11011 (2020) - [i48]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version). CoRR abs/2012.05863 (2020)
2010 – 2019
- 2019
- [j77]Sébastien Lugan, Paul Desbordes, Eliott Brion, Luis Xavier Ramos Tormo, Axel Legay, Benoît Macq:
Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). IEEE Access 7: 181789-181799 (2019)