Filter your results
- 240
- 88
- 2
- 202
- 71
- 24
- 11
- 9
- 4
- 4
- 3
- 2
- 322
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 29
- 42
- 29
- 37
- 21
- 36
- 22
- 19
- 9
- 3
- 6
- 4
- 3
- 1
- 330
- 16
- 293
- 20
- 8
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 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
- 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
- 48
- 44
- 43
- 37
- 34
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 10
- 10
- 10
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-01649727v1
|
|||
Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks1st IEEE-IFIP CSNet, Oct 2017, Rio de Janero, Brazil
Conference papers
hal-02287748v1
|
|||
Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular NetworksIEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6
Conference papers
hal-02288490v1
|
|||
|
Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plantsSoftware Engineering [cs.SE]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0047⟩
Theses
tel-03419751v1
|
||
|
Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity RuleThe Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Conference papers
hal-01622778v1
|
||
|
An efficient data protection architecture based on fragmentation and encryptionCryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩
Theses
tel-03419019v1
|
||
A Game Theoretical Model for Optimal Distribution of Network Security ResourcesGamesec, Oct 2017, Vienna, Austria. ⟨10.1007/978-3-319-68711-7_13⟩
Conference papers
hal-01688475v1
|
|||
TLS for Cooperative ITS ServicesTLS for Cooperative ITS Services, pp.176-189, 2017, ⟨10.1007/978-3-319-72329-7_16⟩
Book sections
hal-02354921v1
|
|||
Dynamic Arbitration of Memory Requests with TDM-like GuaranteesWorkshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers
hal-02287739v1
|
|||
|
Progress-Space Tradeoffs in Single-Writer Memory Implementations21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
Conference papers
hal-01787848v1
|
||
Preserving privacy in distributed system (PPDS) protocol: Security analysis2017 IEEE 36th International Performance Computing and Communications Conference (IPCCC), Dec 2017, San Diego, France. pp.1-7, ⟨10.1109/PCCC.2017.8280505⟩
Conference papers
hal-02353278v1
|
|||
AT2: Asynchronous Trustworthy TransfersCoRR, 2018, abs/1812.10844
Journal articles
hal-02288008v1
|
|||
Task Computability in Unreliable Anonymous Networks22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.23:1-23:13, ⟨10.4230/LIPIcs.OPODIS.2018.23⟩
Conference papers
hal-02412406v1
|
|||
Parallel Combining: Benefits of Explicit Synchronization22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩
Conference papers
hal-02412405v1
|
|||
Defining services and service orchestrators acting on shared sensors and actuators6th International Conference on Model-Driven Engineering and Software Development (ModelsWard'18), Jan 2018, Funchal, Portugal
Conference papers
hal-02412326v1
|
|||
AT2: Asynchronous Trustworthy TransfersCoRR, 2018, abs/1812.10844
Journal articles
hal-02288004v1
|
|||
Keynote speech2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
Conference papers
hal-02354925v1
|
|||
Availability enhancement and analysis for mixed-criticality systems on multi-core2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
Conference papers
hal-01994643v1
|
|||
Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
Conference papers
hal-02287875v1
|
|||
Self-integrating Organic Control Systems: from Crayfish to Smart Homes2018
Other publications
hal-01996515v1
|
|||
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
|
|||
|
On Helping and StacksThe International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers
hal-01888607v1
|
||
|
Inherent limitations of hybrid transactional memoryDistributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
Journal articles
hal-02364297v1
|
||
|
Questioning the security and efficiency of the ESIoT approachWISEC 2018: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2018, Stockholm, Sweden. pp.202 - 207, ⟨10.1145/3212480.3212491⟩
Conference papers
hal-01850383v1
|
||
|
Public Privacy and Brick Houses Made of Glass12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
Conference papers
hal-01855989v1
|
||
|
Brief Announcement: Performance Prediction for Coarse-Grained LockingPODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
Conference papers
hal-01887733v1
|
||
Hybrid Cryptographic Protocol for Secure Vehicle Data Sharing Over a Consortium Blockchain2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), Jul 2018, Halifax, Canada. pp.1281-1286, ⟨10.1109/Cybermatics_2018.2018.00223⟩
Conference papers
hal-03506544v1
|
|||
Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted dataTrustCom'18, Aug 2018, New-York, United States
Conference papers
hal-02287926v1
|
|||
Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems2018
Other publications
hal-01996481v1
|
|||
A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent LocationsEsorics’18, STM workshop, Sep 2018, Barcelona, Spain
Conference papers
hal-02288556v1
|