Filter your results
- 249
- 104
- 2
- 153
- 63
- 23
- 3
- 3
- 2
- 1
- 1
- 245
- 28
- 4
- 3
- 2
- 1
- 1
- 2
- 14
- 24
- 22
- 33
- 22
- 31
- 17
- 29
- 22
- 17
- 5
- 4
- 3
- 4
- 242
- 7
- 230
- 13
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 37
- 34
- 34
- 29
- 27
- 20
- 18
- 15
- 14
- 13
- 12
- 12
- 11
- 10
- 10
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
The consensus number of a cryptocurrencyDistributed Computing, 2022, 35 (1), pp.1-15. ⟨10.1007/s00446-021-00399-2⟩
Journal articles
hal-04084120v1
|
||
Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hiddenthe 6th ACM Workshop, Nov 2019, London, France. pp.47-56, ⟨10.1145/3338468.3356827⟩
Conference papers
hal-02449676v1
|
|||
Service Orchestration with Orcharts and TypechartsSeminaire INRIA, Mar 2010, Rennes, France
Conference papers
hal-02278638v1
|
|||
Sensemaking in the autonomic smart-homeUBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers
hal-02288439v1
|
|||
Self-improving system integration: Mastering continuouschangeFuture Generation Computer Systems, 2021
Journal articles
hal-03023144v1
|
|||
Profile centric modellingINDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
Journal articles
hal-02354927v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-01649727v1
|
|||
A survey on game-theoretic approaches for intrusion detection and response optimizationACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
Journal articles
hal-02009646v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-03340371v1
|
|||
|
Risks and security of internet and systemsCRISIS 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
|
||
|
The weakest failure detector for eventual consistencyDistributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles
hal-02413314v1
|
||
Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold SignaturesAdvances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
Book sections
hal-03800630v1
|
|||
DC Coefficients Recovery from AC Coefficients in the JPEG Compression ScenarioSmart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩
Conference papers
hal-02450312v1
|
|||
|
Enabling Markovian Representations under Imperfect Information14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers
hal-03779034v1
|
||
Additively homomorphic encryption and fragmentation scheme for data aggregation inside unattended wireless sensor networksAnnals of Telecommunications - annales des télécommunications, 2019, 74 (3-4), pp.157-165. ⟨10.1007/s12243-018-0684-x⟩
Journal articles
hal-02450271v1
|
|||
Towards a Fine-Grained Access Control for Cloud2014 IEEE 11th International Conference on e-Business Engineering (ICEBE), Nov 2014, Guangzhou, France. pp.286-291, ⟨10.1109/ICEBE.2014.56⟩
Conference papers
hal-02343634v1
|
|||
Towards a Fine-Grained Access Control for Cloud2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
Conference papers
hal-02287108v1
|
|||
A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMIIEEE Journal on Selected Areas in Communications, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
Journal articles
hal-01113214v1
|
|||
Scheduling algorithms to reduce the static energy consumption of real-time systemsExperiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles
cea-01846864v1
|
|||
Scalable Byzantine Reliable BroadcastDISC, Oct 2019, Budapest, Hungary
Conference papers
hal-03022562v1
|
|||
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
Journal articles
hal-02287904v1
|
|||
Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted dataTrustCom'18, Aug 2018, New-York, United States
Conference papers
hal-02287926v1
|
|||
Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquenceGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2016, 117, pp 47-59
Journal articles
hal-01531341v1
|
|||
A Secure and Effective Device Pairing Protocol12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers
hal-02288430v1
|
|||
Replication-Based Self-healing of Mobile Agents Exploring Complex Networks15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
Conference papers
hal-02287746v1
|
|||
Self-integrating Organic Control Systems: from Crayfish to Smart Homes2018
Other publications
hal-01996515v1
|
|||
Profile Centric Model.International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
Journal articles
hal-02287105v1
|
|||
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018
Preprints, Working Papers, ...
hal-01939768v1
|
||
|
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers
hal-02428017v1
|
||
Complementing Ada with other programming languagesACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers
hal-00479569v1
|