Filter your results
- 3
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 11
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 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
- 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
3 results
|
|
|
sorted by
|
|
|
Towards a Formally Verified EVM in Production Environment22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.341-349, ⟨10.1007/978-3-030-50029-0_21⟩
Conference papers
hal-03273991v1
|
||
|
|
A resource usage efficient distributed allocation algorithm for 5G Service Function ChainsDAIS 2020 - 20th IFIP WG 6.1 International Conference Distributed Applications and Interoperable Systems, Jun 2020, Valetta, Malta. pp.169-185, ⟨10.1007/978-3-030-50323-9_11⟩
Conference papers
hal-02975998v1
|
||
|
|
SGX-IR: Secure Information Retrieval with Trusted Processors34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.367-387, ⟨10.1007/978-3-030-49669-2_21⟩
Conference papers
hal-03243643v1
|