Ana R. Cavalli

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 45

Top Venues

Publications

Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems. ACM Comput. Surv. 56 (8) (2024)
Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
Cyber-Resilience Approaches for Cyber-Physical Systems. CoRR (2023)
Francesco G. Caccavale, Huu Nghia Nguyen, Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli
HTTP/2 Attacks Generation using 5Greplay. ARES (2023)
Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana R. Cavalli, Edgardo Montes de Oca
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection. CoRR (2023)
Phu Hong Nguyen, Rustem Dautov, Hui Song, Angel Rego, Eider Iturbe, Erkuden Rios, Diego Sagasti, Gonzalo Nicolas, Valeria Valdés, Wissam Mallouli, Ana R. Cavalli, Nicolas Ferry
Towards Smarter Security Orchestration and Automatic Response for CPS and IoT. CloudCom (2023)
Luong Nguyen, Mariana Segovia, Wissam Mallouli, Edgardo Montes de Oca, Ana R. Cavalli
Digital Twin for IoT Environments: A Testing and Simulation Tool. QUATIC (2022)
Mariana Segovia, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
Switched-based Control Testbed to Assure Cyber-physical Resilience by Design. SECRYPT (2022)
George Amponis, Panagiotis I. Radoglou-Grammatikis, Thomas Lagkas, Wissam Mallouli, Ana R. Cavalli, Dimitrios Klonidis, Evangelos Markakis, Panagiotis G. Sarigiannidis
Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications. EURASIP J. Wirel. Commun. Netw. 2022 (1) (2022)
Manh-Dung Nguyen, Vinh Hoa La, Ana R. Cavalli, Edgardo Montes de Oca
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper). ICST Workshops (2022)
Charilaos C. Zarakovitis, Dimitrios Klonidis, Zujany Salazar, Anna Prudnikova, Arash Bozorgchenani, Qiang Ni, Charalambos Klitis, George Guirgis, Ana R. Cavalli, Nicholas Sgouros, Eftychia Makri, Antonios Lalas, Konstantinos Votis, George Amponis, Wissam Mallouli
SANCUS: Multi-layers Vulnerability Management Framework for Cloud-native 5G networks. ARES (2021)
Vinh Hoa La, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli
A Framework for Security Monitoring of Real IoT Testbeds. ICSOFT (2021)
Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana R. Cavalli, Edgardo Montes de Oca
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection. ARES (2021)
Mariana Segovia, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García-Alfaro
Cyber-Resilience Evaluation of Cyber-Physical Systems. NCA (2020)
Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana R. Cavalli, Joaquín García
Switched-Based Resilient Control of Cyber-Physical Systems. IEEE Access 8 (2020)
Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli
Attack Tolerance for Services-Based Applications in the Cloud. ICTSS (2019)
Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, Matevz Vucnik
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms. ICTSS (2019)
Thierno Birahime Sambe, Stephane Maag, Ana R. Cavalli
A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO. ICSOFT (2019)
Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. ICSOFT (2019)
Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. ICSOFT (Selected Papers) (2019)
Sarah A. Dahab, Stephane Maag, Wissam Mallouli, Ana R. Cavalli
Smart Measurements and Analysis for Software Quality Enhancement. ICSOFT (Selected Papers) (2018)
Ana R. Cavalli, Antonio M. Ortiz, Georges Ouffoué, Cesar A. Sanchez, Fatiha Zaïdi
Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection. ICWS (2018)
Khalifa Toumi, Mohamed H. E. Aouadi, Ana R. Cavalli, Wissam Mallouli, Jordi Puiggalí Allepuz, Pol Valletb Montfort
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System. Comput. J. 61 (8) (2018)
Georges L. A. Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
An Attack-Tolerant Framework for Web Services. SCC (2017)
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
How Web Services Can Be Tolerant to Intruders through Diversification. ICWS (2017)
Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli
A Platform for Security Monitoring of Multi-cloud Applications. Ershov Informatics Conference (2017)
Pamela Carvallo, Ana R. Cavalli, Natalia Kushik
Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. ICSOFT (2017)
Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli, Erkuden Rios
Multi-cloud Applications Security Monitoring. GPC (2017)
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
Model-Based Attack Tolerance. AINA Workshops (2017)
Pamela Carvallo, Ana R. Cavalli, Natalia Kushik
A Study of Threat Detection Systems and Techniques in the Cloud. CRiSIS (2017)
Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli
Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS (2017)
Jorge Visca, Javier Baliosian, Raul A. Fuentes-Samaniego, Ana R. Cavalli
Path sampling, a robust alternative to gossiping for opportunistic network routing. WiMob (2016)
Vinh Hoa La, Raul Fuentes, Ana R. Cavalli
A novel monitoring solution for 6LoWPAN-based Wireless Sensor Networks. APCC (2016)
Georges Ouffoue, Antonio M. Ortiz, Ana R. Cavalli, Wissam Mallouli, Josep Domingo-Ferrer, David Sánchez, Fatiha Zaïdi
Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach. ICDCS Workshops (2016)
Vinh Hoa La, Raul A. Fuentes-Samaniego, Ana R. Cavalli
Network Monitoring Using MMT: An Application Based on the User-Agent Field in HTTP Headers. AINA (2016)
Jorge Visca, Raul Fuentes, Ana R. Cavalli, Javier Baliosian
Opportunistic media sharing for mobile networks. NOMS (2016)
Rui Abreu, César Andrés, Ana R. Cavalli
A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory. CRiSIS (2016)
Jorge López, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Optimizing network utilization through source code state model representation. EWDTS (2016)
Diego Rivera, Ana R. Cavalli, Natalia Kushik, Wissam Mallouli
An Implementation of a QoE Evaluation Technique Including Business Model Parameters. ICSOFT-PT (2016)
Khalifa Toumi, César Andrés, Ana R. Cavalli
Formal framework for defining trust in multi-organisation environment. Int. J. Auton. Adapt. Commun. Syst. 9 (1/2) (2016)
Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. QRS (2016)
Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli
Effectively Testing of Timed Composite Systems using Test Case Prioritization. SEKE (2016)
Vinh Hoa La, Ana R. Cavalli
A Misbehavior Node Detection Algorithm for 6LoWPAN Wireless Sensor Networks. ICDCS Workshops (2016)
Raul A. Fuentes-Samaniego, Ana R. Cavalli, Juan Arturo Nolazco-Flores
An Analysis of Secure M2M Communication in WSNs Using DTLS. ICDCS Workshops (2016)
Diego Rivera, Ana R. Cavalli
QoE-Driven Service Optimization Aware of the Business Model. AINA Workshops (2016)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli
On adaptive experiments for nondeterministic finite state machines. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Raul A. Fuentes-Samaniego, Ana R. Cavalli, Wissam Mallouli, Javier Baliosian
Monitoring-based validation of functional and performance aspects of a greedy ant colony optimization protocol. LANOMS (2015)
Felipe Barbosa Abreu, Anderson Nunes Paiva Morais, Ana R. Cavalli, Bachar Wehbi, Edgardo Montes de Oca, Wissam Mallouli
An effective attack detection approach in wireless mesh networks. Int. J. Space Based Situated Comput. 5 (2) (2015)
Ana R. Cavalli, Teruo Higashino, Manuel Núñez
Special issue on formal active and passive testing of distributed and networked systems. Ann. des Télécommunications 70 (3-4) (2015)
Ana R. Cavalli, Teruo Higashino, Manuel Núñez
A survey on formal active and passive testing with applications to the cloud. Ann. des Télécommunications 70 (3-4) (2015)
Jorge López, Stephane Maag, Cecilia Saint-Pierre, Javier Bustos-Jiménez, Ana R. Cavalli
Process Mining for Trust Monitoring. AINA Workshops (2015)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
An Active Testing Tool for Security Testing of Distributed Systems. ARES (2015)
Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana R. Cavalli, Nina Yevtushenko
QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. ICWS (2015)
Javier Baliosian, Ana R. Cavalli
An Abstraction for the Interoperability Analysis of Security Policies. NSS (2015)
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
Detection of Illegal Control Flow in Android System: Protecting Private Data Used by Smartphone Apps. FPS (2014)
Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, César Andrés, Ana R. Cavalli
How to Evaluate Trust Using MMT. NSS (2014)
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
Détection de flux de contrôle illégaux dans les Smartphones. INFORSID (2014)
Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli
A Framework for Distributed Testing of Timed Composite Systems. APSEC (1) (2014)
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli, Jeevan Pokhrel
Evaluating Web Service QoE by Learning Logic Networks. WEBIST (1) (2014)
Indira Paudel, Jeevan Pokhrel, Bachar Wehbi, Ana R. Cavalli, Badii Jouaber
Estimation of video QoE from MAC parameters in wireless network: A Random Neural Network approach. ISCIT (2014)
Khalifa Toumi, Fabien Autrel, Ana R. Cavalli, Sammy Haddad
ISER: A Platform for Security Interoperability of Multi-source Systems. CRiSIS (2014)
Khalifa Toumi, Ana R. Cavalli, César Andrés
Validation of a Trust Approach in Multi-Organization Environments. Int. J. Secur. Softw. Eng. 5 (1) (2014)
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli
On Testing against Partial Non-observable Specifications. QUATIC (2014)
Xiaoping Che, Stéphane Maag, Jorge López, Ana R. Cavalli
Testing Network Protocols: formally, at runtime and online. SEKE (2014)
Natalia Kushik, Jeevan Pokhrel, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli
QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches. Int. J. Organ. Collect. Intell. 4 (3) (2014)
Anderson Morais Paiva Morais, Ana R. Cavalli
A Distributed and Collaborative Intrusion Detection Architecture for Wireless Mesh Networks. Mob. Networks Appl. 19 (1) (2014)
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
Protection against Code Obfuscation Attacks Based on Control Dependencies in Android Systems. SERE (Companion) (2014)
Jeevan Pokhrel, Felipe Lalanne, Ana R. Cavalli, Wissam Mallouli
QoE Estimation for Web Service Selection Using a Fuzzy-Rough Hybrid Expert System. AINA (2014)
Huu Nghia Nguyen, Ana R. Cavalli
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System. SEKE (2014)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study. CoRR (2014)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
A Formal Approach to Automatic Testing of Security Policies Specified in XACML. FPS (2014)
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
On Modeling and Testing Security Properties of Vehicular Networks. ICST Workshops (2014)
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
Formal Characterization of Illegal Control Flow in Android System. SITIS (2013)
Ana R. Cavalli, Sudipto Ghosh
ICST 2010 Special Issue. Softw. Test. Verification Reliab. 23 (5) (2013)
Felipe Barbosa Abreu, Anderson Nunes Paiva Morais, Ana R. Cavalli, Bachar Wehbi, Edgardo Montes de Oca
An Effective Attack Detection Approach in Wireless Mesh Networks. AINA Workshops (2013)
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Evaluating Web Service Quality Using Finite State Models. QSIC (2013)
Khalifa Toumi, César Andrés, Ana R. Cavalli
Security Properties in Virtual Organizations. HPCC/EUC (2013)
Jeevan Pokhrel, Bachar Wehbi, Anderson Nunes Paiva Morais, Ana R. Cavalli, Eric Allilaire
Estimation of QoE of video traffic using a fuzzy expert system. CCNC (2013)
Pramila Mouttappa, Stephane Maag, Ana R. Cavalli
Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study. COMPSAC (2013)
Pramila Mouttappa, Stephane Maag, Ana R. Cavalli
Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols. Comput. Networks 57 (15) (2013)
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko
Evaluating Quality of Web Services: A Short Survey. ICWS (2013)
Khalifa Toumi, César Andrés, Ana R. Cavalli
Trust Ontology Based on Access Control Parameters in Multi-organization Environments. SITIS (2013)
Maria de Fátima Mattiello-Francisco, Eliane Martins, Ana R. Cavalli, Edgar Toshiro Yano
InRob: An approach for testing interoperability and robustness of real-time embedded software. J. Syst. Softw. 85 (1) (2012)
Khalifa Toumi, Ana R. Cavalli, Mazen El Maarabani
Role based interoperability security policies in collaborative systems. CTS (2012)
Iksoon Hwang, Nina Yevtushenko, Ana R. Cavalli
Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs. Inf. Process. Lett. 112 (7) (2012)
Pramila Mouttappa, Stéphane Maag, Ana R. Cavalli
An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols. QSIC (2012)
Anderson Nunes Paiva Morais, Ana R. Cavalli
A distributed intrusion detection scheme for wireless ad hoc networks. SAC (2012)
Felipe Lalanne, Ana R. Cavalli, Stephane Maag
Quality of Experience as a Selection Criterion for Web Services. SITIS (2012)
Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchère
Applying formal methods to PCEP: an industrial case study from modeling to test generation. Softw. Test. Verification Reliab. 22 (5) (2012)
Mazen El Maarabani, César Andrés, Ana R. Cavalli
Testing Interoperability Security Policies. SEKE (2012)
Amel Mammar, Wissam Mallouli, Ana R. Cavalli
A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Inf. Softw. Technol. 54 (1) (2012)
Khalifa Toumi, César Andrés, Ana R. Cavalli
Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. ICISS (2012)
Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani
A vector based model approach for defining trust in Multi-Organization Environments. CRiSIS (2012)
Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana R. Cavalli, Shanai Ardi, Willy Jimenez
An advanced approach for modeling and detecting software vulnerabilities. Inf. Softw. Technol. 54 (9) (2012)
Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca
A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. 46 (7) (2012)
Anderson Nunes Paiva Morais, Ana R. Cavalli
An Event-Based Packet Dropping Detection Scheme for Wireless Mesh Networks. CSS (2012)
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli
Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses. CSS (2012)
César Andrés, Ana R. Cavalli
How to Reduce the Cost of Passive Testing. HASE (2012)
Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frédéric Cuppens, Gouenou Coatrieux, Ana R. Cavalli, Amel Mammar
Using Requirements Engineering in an Automatic Security Policy Derivation Process. DPM/SETOP (2011)
Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi
Verification of Interoperability Security Policies by Model Checking. HASE (2011)
Anderson Nunes Paiva Morais, Ana R. Cavalli, Eliane Martins
A model-based attack injection approach for security validation. SIN (2011)

Ana R. Cavalli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ana R. Cavalli