Filter your results
- 44
- 1
- 1
- 44
- 44
- 2
- 1
- 4
- 4
- 2
- 2
- 4
- 1
- 4
- 9
- 8
- 3
- 44
- 18
- 11
- 8
- 8
- 3
- 3
- 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
- 3
- 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
- 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
|
|
sorted by
|
|
Verification of Smart Contract Business Logic8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers
hal-03769118v1
|
||
|
Dynamics in Delegation and Revocation Schemes: A Logical Approach23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers
inria-00593654v2
|
||
|
Horizontal vs. Vertical: How the Orientation of a Large Interactive Surface Impacts Collaboration in Multi-Surface Environments16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.202-222, ⟨10.1007/978-3-319-67687-6_14⟩
Conference papers
hal-01597913v1
|
||
|
Are 128 Bits Long Keys Possible in Watermarking?13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.191-191, ⟨10.1007/978-3-642-32805-3_15⟩
Conference papers
hal-01540890v1
|
||
|
Leveraging Web Intelligence for Information Cascade Detection in Social Streams6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.56-65, ⟨10.1007/978-3-319-89743-1_6⟩
Conference papers
hal-01913877v1
|
||
|
On the Computational Complexity of the Freezing Non-strict Majority Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.109-119, ⟨10.1007/978-3-319-58631-1_9⟩
Conference papers
hal-01656355v1
|
||
|
The Gossple Anonymous Social NetworkACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.191-211, ⟨10.1007/978-3-642-16955-7_10⟩
Conference papers
inria-00515693v2
|
||
|
Analysis of Privacy Policies to Enhance Informed ConsentDBSEC 2019 - 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Jul 2019, Charleston, SC, United States. pp.177-198, ⟨10.1007/978-3-030-22479-0_10⟩
Conference papers
hal-02384593v1
|
||
|
Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers
hal-01489457v1
|
||
|
Quantitative Modal Transition Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩
Conference papers
hal-01485977v1
|
||
|
Practical and Privacy-Preserving TEE Migration9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩
Conference papers
hal-01183508v1
|
||
|
Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Conference papers
hal-01583404v1
|
||
|
Inference Leakage Detection for Authorization Policies over RDF Data29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.346-361, ⟨10.1007/978-3-319-20810-7_24⟩
Conference papers
hal-01745813v1
|
||
|
Dissemination of reconfiguration policies on mesh networks12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
Conference papers
hal-00688707v1
|
||
|
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.87-102, ⟨10.1007/978-3-642-34691-0_8⟩
Conference papers
hal-01482413v1
|
||
|
Failure Analysis and Modeling in Large Multi-site Infrastructures13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.127-140, ⟨10.1007/978-3-642-38541-4_10⟩
Conference papers
hal-01489451v1
|
||
|
A Timed Component Algebra for Services15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers
hal-01515250v1
|
||
|
Adaptive Guard Time for Energy-Efficient IEEE 802.15.4 TSCH Networks17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_2⟩
Conference papers
hal-02458546v1
|
||
|
STEPS - an Approach for Human Mobility Modeling10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.254-265, ⟨10.1007/978-3-642-20757-0_20⟩
Conference papers
hal-00908497v1
|
||
|
Knowledge base for an autonomic transport layer9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. ⟨10.1007/978-3-642-21560-5_15⟩
Conference papers
hal-01024654v1
|
||
|
A New Hierarchical Key Management Scheme for Secure Clustering in Wireless Sensor Networks13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.411-424
Conference papers
hal-01728801v1
|
||
|
BFT-Bench: Towards a Practical Evaluation of Robustness and Effectiveness of BFT Protocols16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.115-128, ⟨10.1007/978-3-319-39577-7_10⟩
Conference papers
hal-01372682v1
|
||
|
oBGP: An Overlay for a Scalable iBGP Control Plane10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.420-431, ⟨10.1007/978-3-642-20757-0_33⟩
Conference papers
hal-01583402v1
|
||
|
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers
hal-01202799v1
|
||
|
A Study on Self-adaptation in the Evolutionary Strategy Algorithm6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.150-160, ⟨10.1007/978-3-319-89743-1_14⟩
Conference papers
hal-01913901v1
|
||
|
Trace Based System in TEL Systems: Theory and Practice6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.257-266, ⟨10.1007/978-3-319-89743-1_23⟩
Conference papers
hal-01913897v1
|
||
|
A Methodological Approach for Ontologising and Aligning Health Level Seven (HL7) Applications1st Availability, Reliability and Security (CD-ARES), Aug 2011, Vienne, Austria. pp.102-117, ⟨10.1007/978-3-642-23300-5_9⟩
Conference papers
hal-01240094v1
|
||
|
First Step in Cross-Layers Measurement in Wireless Networks How to Adapt to Resource Constraints for Optimizing End-to-End Services?9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.150-161, ⟨10.1007/978-3-642-21560-5_13⟩
Conference papers
hal-01583648v1
|
||
|
Energy-Efficient Cryptographic Engineering ParadigmInternational Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.78-88, ⟨10.1007/978-3-642-27585-2_7⟩
Conference papers
hal-01481508v1
|
||
|
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
Conference papers
hal-01528727v1
|
- 1
- 2