Publications

Parvizimosaed, Alireza, et al. "SymboleoPC: checking properties of legal contracts: A. Parvizimosaed et al." Software and Systems Modeling 24.4 (2025): 1093-1126.

Golinelli, Matteo; Arshad, Elham; Kashchuk, Dmytro; Crispo, Bruno, 2023 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA)

Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos

Krauß, Torsten, et al. "Automatic adversarial adaption for stealthy poisoning attacks in federated learning." To appear soon at the Network and Distributed System Security Symposium (NDSS). Vol. 2. 2024.

 Chahoki, A. Z.; Roveri, M.; Amyot, D.; Mylopoulos, J., Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements, ELETTRONICO (2023), pp. 55-60.

Alberto Tacchella, Jurij Mihelič, David Cerdeira, José Martins, Sandro Pinto, Bruno Crispo, Marco Roveri, 18th International Symposium on Foundations & Practice of Security (FPS 2025)

H. Koshutanski, S. Kahvazadeh, J. Villalobos, A. Garcia Bedoya, and J. Mangues-Bafalluy, 27th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), October 27th – 31st, 2025, Barcelona, Spain.

Johannes Lenzen, Mohamadreza Rostami, Lichao Wu, Ahmad-Reza Sadeghi, Network and Distributed System Security (NDSS) Symposium 2026

Lichao Wu, Sasha Behrouzi, Mohamadreza Rostami, Maximilian Thang, Stjepan Picek, Ahmad-Reza Sadeghi, Network and Distributed System Security (NDSS) Symposium 2026

Kavita Kumari, Sasha Behrouzi, Alessandro Pegoraro, Ahmad-Reza Sadeghi, Network and Distributed System Security (NDSS) Symposium 2026