Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 Array
|
|
sorted by
|
|
Program Transformation for Non-interference Verification on Programs with Pointers28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
Conference papers
hal-00814671v2
|