Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka. Constructing security cases based on formal verification of security requirements in alloy. 42nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2023) Workshops, Sep 2023, Toulouse, France. pp.15-25, ⟨10.1007/978-3-031-40953-0_2⟩. ⟨cea-04232793⟩

Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka. Towards logical specification of adversarial examples in machine learning. IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2022), Dec 2022, Wuhan, China. IEEE, 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pp.1575-1580, 2022, ⟨10.1109/TrustCom56396.2022.00226⟩. ⟨cea-04292759⟩

Megha Quamara. An approach to co-design and analysis of safety and security for three-layered system modeling : models, formalisms, and tool support. Computer Aided Engineering. Université Paul Sabatier - Toulouse III, 2022. English. ⟨NNT : 2022TOU30267⟩. ⟨tel-04103912⟩

Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Iulian Ober, Ileana Ober. Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩. ⟨hal-03855271⟩

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Formal analysis approach for multi-layered system safety and security co-engineering. 14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩. ⟨cea-03789094⟩

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Facilitating safety and security co-design and formal analysis in multi-layered system modeling. 20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy. pp.1-8, ⟨10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773⟩. ⟨cea-03789114⟩

Paul Viallard, Guillaume Vidot, Amaury Habrard, Emilie Morvant. A PAC-Bayes Analysis of Adversarial Robustness. Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021), NIPS: Neural Information Processing Systems Foundation, Dec 2021, Virtual-only Conference, Australia. ⟨hal-03145332v2⟩

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Introducing a multi-layered model-based design approach towards safety-security co-engineering. IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩. ⟨cea-03789133⟩

Quentin Rouland. Rigorous development of secure architecture within the negative and positive statements : properties, models, analysis and tool support. Library and information sciences. Université Paul Sabatier - Toulouse III, 2021. English. ⟨NNT : 2021TOU30251⟩. ⟨tel-03699867⟩

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Multi-layered model-based design approach towards system safety and security co-engineering. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩. ⟨cea-03789160⟩