Filter your results
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Formal Equivalence Classes Based Method for Security Policy Conformance CheckingInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.146-160, ⟨10.1007/978-3-642-32498-7_12⟩
Conference papers
hal-01542451v1
|
||
|
|
GPU-Assisted AES Encryption Using GCM12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.178-185, ⟨10.1007/978-3-642-24712-5_16⟩
Conference papers
hal-01596207v1
|