Filter your results
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 3
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Formal Security Model of a Smart Card Web Server10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.34-49, ⟨10.1007/978-3-642-27257-8_3⟩
Conference papers
hal-01596309v1
|
||
|
Something of a Potemkin Village? Acid2 and Mozilla’s Efforts to Comply with HTML49th Open Source Software (OSS), Oct 2011, Salvador, Brazil. pp.320-324, ⟨10.1007/978-3-642-24418-6_25⟩
Conference papers
hal-01570760v1
|