46 citations · 161 across the 13 of their papers we have counts for
13 papers
RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach
Jonathan Roux, Eric Alata, Guillaume Auriol +3
Internet-of-Things (IoT) devices are nowadays massively integrated in daily life: homes, factories, or public places. This technology offers attractive services to improve the qual…
Specification-Based Protocol Obfuscation
Julien Duchene, Eric Alata, Vincent Nicomette +2
This paper proposes a new obfuscation technique of a communication protocol that is aimed at making the reverse engineering of the protocol more complex. The obfuscation is based o…
A Model for Safety Case Confidence Assessment
Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaaniche
Building a safety case is a common approach to make expert judgement explicit about safety of a system. The issue of confidence in such argumentation is still an open research fiel…
Modeling the resilience of large and evolving systems
Mohamed Kaaniche, Paolo Lollini, Andrea Bondavalli +1
This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and pro…
Critical Utility Infrastructural Resilience
Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico +3
The paper refers to CRUTIAL, CRitical UTility InfrastructurAL Resilience, a European project within the research area of Critical Information Infrastructure Protection, with a spec…
Software dependability modeling using an industry-standard architecture description language
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun +1
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decision…