208 citations
- Institut Polytechnique de ParisFR35 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- Services répartis, Architectures, MOdélisation, Validation, Administration des RéseauxFR13 papers
- Institut Mines-TélécomFR7 papers
- Laboratoire Traitement et Communication de l’InformationFR7 papers
- Université Paris 8FR7 papers
- Télécom ParisFR5 papers
- Université Paris-SaclayFR5 papers
- Laboratoire d'Informatique pour la Mécanique et les Sciences de l'IngénieurFR4 papers
- Orange (France)FR3 papers
- Nayanova UniversityRU2 papers
- Strateji Araşdırmalar MərkəziAZ2 papers
5 papers · 1 filter
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Catherine Dubois, Bruno Woltzenlogel Paleo
This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS…
Security of Cyber-Physical Systems. From Theory to Testbeds and Validation
Jose Rubio-Hernan, Juan Rodolfo-Mejias, Joaquin Garcia-Alfaro
Traditional control environments connected to physical systems are being upgraded with novel information and communication technologies. The resulting systems need to be adequately…
An n-sided polygonal model to calculate the impact of cyber security events
Gustavo Gonzalez-Granadillo, Joaquin Garcia-Alfaro, Hervé Debar
This paper presents a model to represent graphically the impact of cyber events (e.g., attacks, countermeasures) in a polygonal systems of n-sides. The approach considers informati…
Getting Virtualized Wireless Sensor Networks IaaS Ready for PaaS
Imran Khan, Fatima Zahra Errounda, Sami Yangui +2
With the recent advances in sensor hardware and software, architectures for virtualized Wireless Sensor Networks (vWSNs) are now emerging. Through node- and network-level virtualiz…
Efficient Medium Access Arbitration Among Interfering WBANs Using Latin Rectangles
Mohamad Jaafar Ali, Hassine Moungla, Mohamed Younis +1
The overlap of transmission ranges among multiple Wireless Body Area Networks (WBANs) is referred to as coexistence. The interference is most likely to affect the communication lin…