Mila Dalla Preda

79 papers A* 3A 2B 14C 2Misc 1Journal 30Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Logic for the Imprecision of Abstract Interpretations. Proc. ACM Program. Lang. Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2026	J	`jnl`	Modeling Incomplete Procedural Contracts With Blockchain-Based Enforceable Business Processes. IEEE Access Sara Migliorini, Mauro Gambini, Veronica Paternolli, Mila Dalla Preda
2025	J	`jnl`	A Security Operation and Event Management (SOEM) Platform for Critical Infrastructures Protection. Comput. Mater. Continua Roberto Caviglia, Daniyar Aliaskharov, Alessio Aceti, Mila Dalla Preda, Paola Girdinio, Giovanni Battista Gaggero
2025	—	`conf`	Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja. Checkmate@CCS Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2025	—	`ed.`	Availability, Reliability and Security - 20th International Conference, ARES 2025, Ghent, Belgium, August 11-14, 2025, Proceedings, Part I ARES (1) Mila Dalla Preda, Sebastian Schrittwieser, Vincent Naessens, Bjorn De Sutter
2025	—	`ed.`	Availability, Reliability and Security - 20th International Conference, ARES 2025, Ghent, Belgium, August 11-14, 2025, Proceedings, Part II ARES (2) Mila Dalla Preda, Sebastian Schrittwieser, Vincent Naessens, Bjorn De Sutter
2025	J	`jnl`	Light sensor based covert channels on mobile devices. Inf. Sci. Mila Dalla Preda, Claudia Greco, Michele Ianni, Francesco Lupia, Andrea Pugliese
2024	—	`ed.`	Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II ESORICS Workshops (2) Sokratis K. Katsikas, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Maria Ugarelli, Isabel Praça, Wenjuan Li, Weizhi Meng, Steven Furnell, Basel Katt, Sandeep Pirbhulal, Ankur Shukla, Michele Ianni, Mila Dalla Preda, Kim-Kwang Raymond Choo, Miguel Pupo Correia, Abhishta Abhishta, Giovanni Sileno, Mina Alishahi, Harsha K. Kalutarage, Naoto Yanai
2024	J	`jnl`	EU Cyber Resilience Act: Socio-Technical and Research Challenges (Dagstuhl Seminar 24112). Dagstuhl Reports Mila Dalla Preda, Serge Egelman, Anna Maria Mandalari, Volker Stocker, Juan Tapiador, Narseo Vallina-Rodriguez
2024	J	`jnl`	Editorial: Special issue on software protection and attacks. J. Inf. Secur. Appl. Michele Ianni, Mila Dalla Preda, Kim-Kwang Raymond Choo, Miguel Pupo Correia
2024	J	`jnl`	Exploiting number theory for dynamic software watermarking. J. Comput. Virol. Hacking Tech. Mila Dalla Preda, Michele Ianni
2024	—	`conf`	Fairness of AI Systems in the Legal Context. ECCV Workshops (21) Veronica Paternolli, Mila Dalla Preda, Roberto Giacobazzi
2024	J	`jnl`	Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2024	J	`jnl`	Next Generation Vulnerability Detection with LLMs. ERCIM News Mila Dalla Preda, Niccolò Marastoni, Federica Paci
2024	J	`jnl`	Obfuscation strategies for industrial control systems. Int. J. Crit. Infrastructure Prot. Vittoria Cozza, Mila Dalla Preda, Ruggero Lanotte, Marco Lucchese, Massimo Merro, Nicola Zannone
2024	B	`conf`	On the Role of Cognizance in Responsibility. SAS Laura Canaia, Mila Dalla Preda
2023	B	`conf`	A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
2023	J	`jnl`	Dataset Characteristics for Reliable Code Authorship Attribution. IEEE Trans. Dependable Secur. Comput. Farzaneh Abazari, Enrico Branca, Norah Ridley, Natalia Stakhanova, Mila Dalla Preda
2023	J	`jnl`	Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. J. Syst. Softw. Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato
2023	B	`conf`	Exploring NFT Validation through Digital Watermarking. ARES Mila Dalla Preda, Francesco Masaia
2023	B	`conf`	Towards Obfuscation of Programmable Logic Controllers. ARES Vittoria Cozza, Mila Dalla Preda, Marco Lucchese, Massimo Merro, Nicola Zannone
2022	—	`conf`	On the Properties of Partial Completeness in Abstract Interpretation. ICTCS Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2022	J	`jnl`	Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. Proc. ACM Program. Lang. Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2021	J	`jnl`	Data augmentation and transfer learning to classify malware images in a deep learning context. J. Comput. Virol. Hacking Tech. Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
2021	A	`conf`	EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. ICPC Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
2021	J	`jnl`	EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. CoRR Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
2021	J	`jnl`	Learning metamorphic malware signatures from samples. J. Comput. Virol. Hacking Tech. Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2020	B	`conf`	Formal Framework for Reasoning About the Precision of Dynamic Analysis. SAS Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni
2020	—	`conf`	Revealing Similarities in Android Malware by Dissecting their Methods. EuroS&P Workshops Michele Pasetto, Niccolò Marastoni, Mila Dalla Preda
2020	—	`conf`	Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation. Gabbrielli's Festschrift Mila Dalla Preda
2019	B	`conf`	Abstract Interpretation of Indexed Grammars. SAS Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2019	—	`conf`	Adversarial Authorship Attribution in Open-Source Projects. CODASPY Alina Matyukhina, Natalia Stakhanova, Mila Dalla Preda, Celine Perley
2019	J	`jnl`	Semantics-based software watermarking by abstract interpretation. Math. Struct. Comput. Sci. Mila Dalla Preda, Michele Pasqua
2019	J	`jnl`	Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331). Dagstuhl Reports Bjorn De Sutter, Christian S. Collberg, Mila Dalla Preda, Brecht Wyseur
2018	—	`conf`	A deep learning approach to program similarity. MASES@ASE Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
2018	J	`jnl`	Characterizing a property-driven obfuscation strategy. J. Comput. Secur. Mila Dalla Preda, Isabella Mastroeni
2017	J	`jnl`	Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2017	J	`jnl`	Maximal incompleteness as obfuscation potency. Formal Aspects Comput. Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
2017	J	`jnl`	SEA: String Executability Analysis by Abstract Interpretation. CoRR Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
2017	J	`jnl`	Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology. J. Comput. Virol. Hacking Tech. Mila Dalla Preda, Federico Maggi
2016	—	`conf`	Abstract Similarity Analysis. NSAD@SAS Mila Dalla Preda, Vanessa Vidali
2016	—	`conf`	Active Android malware analysis: an approach based on stochastic games. SSPREW@ACSAC Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni
2016	B	`conf`	Completeness in Approximate Transduction. SAS Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
2016	—	`conf`	On-chip system call tracing: A feasibility study and open prototype. CNS Chengyu Zheng, Mila Dalla Preda, Jorge Granjal, Stefano Zanero, Federico Maggi
2016	—	`ed.`	Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, SSPREW@ACSAC 2016, Los Angeles, California, USA, December 5-6, 2016 SSPREW@ACSAC Mila Dalla Preda, Natalia Stakhanova, Jeffrey Todd McDonald
2016	—	`conf`	Software Watermarking: A Semantics-based Approach. NSAD@SAS Mila Dalla Preda, Michele Pasqua
2015	A*	`conf`	Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. POPL Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni
2015	J	`jnl`	Developing correct, distributed, adaptive software. Sci. Comput. Program. Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015	C	`conf`	Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015	—	`conf`	Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. SPRO@ICSE Mila Dalla Preda, Isabella Mastroeni
2015	—	`ed.`	Proceedings of the 5th Program Protection and Reverse Engineering Workshop, PPREW@ACSAC, Los Angeles, CA, USA, December 8, 2015 PPREW@ACSAC Jeffrey Todd McDonald, Mila Dalla Preda, Natalia Stakhanova
2015	J	`jnl`	Unveiling metamorphism by abstract interpretation of code properties. Theor. Comput. Sci. Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray
2014	B	`conf`	AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014	J	`jnl`	AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014	—	`conf`	Analyzing program dependencies for malware detection. PPREW@POPL Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
2014	J	`jnl`	Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2014	—	`ed.`	Proceedings of the 4th Program Protection and Reverse Engineering Workshop, PPREW@ACSAC 2014, New Orleans, LA, USA, December 9, 2014 PPREW@ACSAC Mila Dalla Preda, Jeffrey Todd McDonald
2013	B	`conf`	A Formal Framework for Property-Driven Obfuscation Strategies. FCT Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
2013	—	`conf`	Fast location of similar code fragments using semantic 'juice'. PPREW@POPL Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi
2013	—	`ed.`	Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, PPREW@POPL 2013, January 26, 2013, Rome, Italy PPREW@POPL Jeffrey Todd McDonald, Mila Dalla Preda
2012	—	`conf`	Interface-Based Service Composition with Aggregation. ESOCC Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2012	—	`conf`	Service integration via target-transparent mediation. SOCA Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2012	—	`conf`	The Grand Challenge in Metamorphic Analysis. ICISTM Mila Dalla Preda
2012	—	`conf`	Twisting Additivity in Program Obfuscation. ICISTM Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia
2011	A	`conf`	Graceful Interruption of Request-Response Service Interactions. ICSOC Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
2011	B	`conf`	Hunting Distributed Malware with the κ-Calculus. FCT Mila Dalla Preda, Cinzia Di Giusto
2010	B	`conf`	Modelling Metamorphism by Abstract Interpretation. SAS Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend
2009	Misc	`conf`	Remote software protection by orthogonal client replacement. SAC Mariano Ceccato, Paolo Tonella, Mila Dalla Preda, Anirban Majumdar
2009	J	`jnl`	Semantics-based code obfuscation by abstract interpretation. J. Comput. Secur. Mila Dalla Preda, Roberto Giacobazzi
2009	J	`jnl`	Trading-off security and performance in barrier slicing for remote software entrusting. Autom. Softw. Eng. Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella
2008	J	`jnl`	A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
2008	B	`conf`	Hiding Software Watermarks in Loop Structures. SAS Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini
2007	A*	`conf`	A semantics-based approach to malware detection. POPL Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
2007	C	`conf`	Barrier Slicing for Remote Software Trusting. SCAM Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella
2007	—	`—`	Code obfuscation and malware detection by abstract interpretation. Mila Dalla Preda
2006	—	`conf`	Opaque Predicates Detection by Abstract Interpretation. AMAST Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi
2005	B	`conf`	Control Code Obfuscation by Abstract Interpretation. SEFM Mila Dalla Preda, Roberto Giacobazzi
2005	A*	`conf`	Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP Mila Dalla Preda, Roberto Giacobazzi
2004	B	`conf`	Completeness Refinement in Abstract Symbolic Trajectory Evaluation. SAS Mila Dalla Preda