Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Automatically Proving Purpose Limitation in Software Architectures34th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Jun 2019, Lisbon, Portugal. pp.345-358, ⟨10.1007/978-3-030-22312-0_24⟩
Conference papers
hal-03744307v1
|
||
|
Reusable Components for Lightweight Mechanisation of Programming Languages12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.1-16, ⟨10.1007/978-3-642-39614-4_1⟩
Conference papers
hal-01492773v1
|
||
|
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.153-173, ⟨10.1007/978-3-030-49669-2_9⟩
Conference papers
hal-03243622v1
|