Search - Archive ouverte HAL Access content directly

Filter your results

330 Results
language_s : English

Online Payments by Merely Broadcasting Messages

Daniel Collins , Rachid Guerraoui , Jovan Komatovic , Petr Kuznetsov , Matteo Monti et al.
DSN, Jun 2020, Valencia, Spain
Conference papers hal-03022579v1

ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain

Xiao Wu , Han Qiu , Shuyi Zhang , Gerard Memmi , Keke Gai et al.
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
Conference papers hal-03559687v1
Image document

Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting

Nathanaël Denis , Pierre Chaffardon , Denis Conan , Maryline Laurent , Sophie Chabridon et al.
SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers hal-02910407v1

Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis

Payam Zahada , Ada Diaconescu
International Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
Conference papers hal-03023157v1

A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems

Etienne Houze , Ada Diaconescu , Jean-Louis Dessalles , David Menga , Mathieu Schumann et al.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers hal-02963566v1

A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems

Marius Pol , Ada Diaconescu
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
Conference papers hal-03023108v1
Image document

Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach

Françoise Caron , Cristian Maxim , Dominique Blouin , Paolo Crisafulli
IEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Conference papers hal-02940241v1

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
Conference papers hal-03022552v1

Revisiting Shared Data Protection Against Key Exposure

Katarzyna Kapusta , Gerard Memmi , Matthieu Rambaud
AsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩
Conference papers hal-03024707v1

RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates

Mounira Msahli , Nancy Cam-Winget , William Whyte , Ahmed Serhrouchni , Houda Labiod et al.
2020
Books hal-03023137v1
Image document

Affine Tasks for k-Test-and-Set

Petr Kuznetsov , Thibault Rieutord
2020
Preprints, Working Papers, ... hal-01810601v2

Brief Announcement: On Decidability of 2-Process Affine Models

Petr Kuznetsov , Thibault Rieutord
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022583v1

Asynchronous Reconfiguration with Byzantine Failures

Petr Kuznetsov , Andrei Tonkikh
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022581v1

COOB: Hybrid secure device pairing scheme in a hostile environment

Jean Leneutre , Sameh Khalfaoui , Arthur Villard , Xingjuan Ma
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
Conference papers hal-03024246v1

Topological Graph Convolutional Network-Based Urban Traffic Flow and Density Prediction

Han Qiu , Qinkai Zheng , Mounira Msahli , Gerard Memmi , Meikang Qiu et al.
IEEE Transactions on Intelligent Transportation Systems, 2020, pp.1-10. ⟨10.1109/TITS.2020.3032882⟩
Journal articles hal-03042201v1
Image document

The StakeCube blockchain : Instantiation, Evaluation & Applications

Antoine Durand , Guillaume Hébert , Khalifa Toumi , Gérard Memmi , Emmanuelle Anceaume et al.
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
Conference papers hal-03024408v1

Privacy as a Service: Anonymisation of NetFlow Traces

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Sihem Mesnager , Stéphane Bressan et al.
Advances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩
Book sections hal-03042197v1
Image document

Energy trading marketplace using Ethereum private network

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports hal-03157038v1

Perfect failure detection with very few bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles hal-03559548v1

Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ

Mark Abspoel , Ronald Cramer , Ivan Damgård , Daniel Escudero , Matthieu Rambaud et al.
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections hal-03800662v1

Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020

Petr Kuznetsov , Vitaly Aksenov
ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles hal-03559549v1

Risks and security of internet and systems

Joaquin Garcia‐alfaro , Jean Leneutre , Nora Cuppens , Reda Yaich
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
Proceedings hal-03628457v1

Self-improving system integration: Mastering continuouschange

Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle , Christian Gruhl et al.
Future Generation Computer Systems, 2021
Journal articles hal-03023144v1

Self-healing Networks via Self-organising Mobile Agents

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
Journal articles hal-03023085v1

The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord

Gordon Blair , Richard Bassett , Louis Bastin , L. Beevers , Maribel Borrajo Garcia et al.
Patterns, In press
Journal articles hal-03023290v1
Image document

Exogenous coordination in multi-scale systems: How information flows and timing affect system properties

Ada Diaconescu , Louisa Jane Di Felice , Patricia Mellodge
Future Generation Computer Systems, 2021
Journal articles hal-03023050v1

An ontology for multi-paradigm modelling

Holger Giese , Dominique Blouin , Rima Al-Ali , Hana Mkaouar , Soumyadip Bandyopadhyay et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Book sections hal-03219279v1

An ontological foundation for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Mauro Iacono , Bedir Tekinerdogan , Holger Giese et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Book sections hal-03225338v1
Image document

Multi-Paradigm Modeling for Cyber-Physical Systems: A Systematic Mapping Review

Ankica Barisic , Ivan Ruchkin , Dušan Savić , Mustafa Abshir Mohamed , Rima Al-Ali et al.
Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal articles hal-03338594v1
Image document

An integrated ontology for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Holger Giese , Stefan Klikovits , Soumyadip Bandyopadhyay et al.
Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.123-145, 2021, 978-0-12-819105-7. ⟨10.1016/B978-0-12-819105-7.00010-6⟩
Book sections hal-03167819v1