Mila Dalla Preda

Michele Ianni

J. Comput. Virol. Hacking Tech., 2024

2023

Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode.

[BibT_eX]

[DOI]

J. Syst. Softw., June, 2023

Dataset Characteristics for Reliable Code Authorship Attribution.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

A Formal Framework to Measure the Incompleteness of Abstract Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 30th International Symposium, 2023

Exploring NFT Validation through Digital Watermarking.

[BibT_eX]

[DOI]

Francesco Masaia

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

Towards Obfuscation of Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

On the Properties of Partial Completeness in Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

2021

Github Dataset for Authorship Attribution.

[BibT_eX]

[DOI]

Dataset, October, 2021

Data augmentation and transfer learning to classify malware images in a deep learning context.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2021

Learning metamorphic malware signatures from samples.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2021

EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE/ACM International Conference on Program Comprehension, 2021

2020

Formal Framework for Reasoning About the Precision of Dynamic Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 27th International Symposium, 2020

Revealing Similarities in Android Malware by Dissecting their Methods.

[BibT_eX]

[DOI]

Michele Pasetto

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

Semantics-based software watermarking by abstract interpretation.

[BibT_eX]

[DOI]

Michele Pasqua

Math. Struct. Comput. Sci., 2019

Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331).

[BibT_eX]

[DOI]

Bjorn De Sutter

Christian S. Collberg

Brecht Wyseur

Dagstuhl Reports, 2019

Abstract Interpretation of Indexed Grammars.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 26th International Symposium, 2019

Adversarial Authorship Attribution in Open-Source Projects.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018

Characterizing a property-driven obfuscation strategy.

[BibT_eX]

[DOI]

J. Comput. Secur., 2018

A deep learning approach to program similarity.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

2017

Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology.

[BibT_eX]

[DOI]

Federico Maggi

J. Comput. Virol. Hacking Tech., 2017

Maximal incompleteness as obfuscation potency.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

Dynamic Choreographies: Theory And Implementation.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

SEA: String Executability Analysis by Abstract Interpretation.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Abstract Similarity Analysis.

[BibT_eX]

[DOI]

Vanessa Vidali

Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016

Software Watermarking: A Semantics-based Approach.

[BibT_eX]

[DOI]

Michele Pasqua

Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016

Completeness in Approximate Transduction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 23rd International Symposium, 2016

On-chip system call tracing: A feasibility study and open prototype.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Conference on Communications and Network Security, 2016

Active Android malware analysis: an approach based on stochastic games.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016

2015

Unveiling metamorphism by abstract interpretation of code properties.

[BibT_eX]

[DOI]

Saumya K. Debray

Theor. Comput. Sci., 2015

Developing correct, distributed, adaptive software.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables.

[BibT_eX]

[DOI]

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Infections as Abstract Symbolic Finite Automata: Formal Model and Applications.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Software Protection, 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2015

2014

Deadlock Freedom by Construction for Distributed Adaptive Applications.

[BibT_eX]

[DOI]

CoRR, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Analyzing program dependencies for malware detection.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

2013

Fast location of similar code fragments using semantic 'juice'.

[BibT_eX]

[DOI]

Arun Lakhotia

Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, 2013

A Formal Framework for Property-Driven Obfuscation Strategies.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

2012

Service integration via target-transparent mediation.

[BibT_eX]

[DOI]

Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Twisting Additivity in Program Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the Information Systems, Technology and Management, 2012

The Grand Challenge in Metamorphic Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Systems, Technology and Management, 2012

Interface-Based Service Composition with Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

Graceful Interruption of Request-Response Service Interactions.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Hunting Distributed Malware with the κ-Calculus.

[BibT_eX]

[DOI]

Cinzia Di Giusto

Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

2010

Modelling Metamorphism by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Semantics-based code obfuscation by abstract interpretation.

[BibT_eX]

[DOI]

J. Comput. Secur., 2009

Trading-off security and performance in barrier slicing for remote software entrusting.

[BibT_eX]

[DOI]

Mariano Ceccato

Jasvir Nagra

Christian S. Collberg

Paolo Tonella

Autom. Softw. Eng., 2009

Remote software protection by orthogonal client replacement.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

A semantics-based approach to malware detection.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Hiding Software Watermarks in Loop Structures.

[BibT_eX]

[DOI]

Enrico Visentini

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Code obfuscation and malware detection by abstract interpretation.

[BibT_eX]

[DOI]

PhD thesis, 2007

Barrier Slicing for Remote Software Trusting.

[BibT_eX]

[DOI]

Mariano Ceccato

Jasvir Nagra

Christian S. Collberg

Paolo Tonella

Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

2006

Opaque Predicates Detection by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Control Code Obfuscation by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Semantic-Based Code Obfuscation by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

Completeness Refinement in Abstract Symbolic Trajectory Evaluation.

[BibT_eX]

[DOI]