Filter your results
- 3
- 3
- 3
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
From Informal Specifications to an ABV Framework for Industrial Firmware Verification28th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2020, Salt Lake City, UT, United States. pp.179-204, ⟨10.1007/978-3-030-81641-4_9⟩
Conference papers
hal-03759721v1
|
||
|
Verifiable Hierarchical Key Assignment Schemes35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.357-376, ⟨10.1007/978-3-030-81242-3_21⟩
Conference papers
hal-03677042v1
|
||
|
Real vs Simulated Foveated Rendering to Reduce Visual Discomfort in Virtual Reality18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.177-185, ⟨10.1007/978-3-030-85607-6_12⟩
Conference papers
hal-04291223v1
|