Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Institut Charles Delaunay
labStructName_s : Telecom Valley [Sophia Antipolis]
Image document

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management

Sophie Coudert , Tullio Tanzi
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.61-76, ⟨10.1007/978-3-319-68486-4_6⟩
Conference papers hal-03213130v1
Image document

On the Readiness of NDN for a Secure Deployment: The Case of Pending Interest Table

Hoang Long Mai , Ngoc Tan Nguyen , Guillaume Doyen , Alain Ploix , Rémi Cogranne
10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.98-110, ⟨10.1007/978-3-319-39814-3_10⟩
Conference papers hal-01632732v1