Isabella Mastroeni

Order, 2016

Making abstract models complete.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2016

Preface.

[BibT_eX]

[DOI]

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

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

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

MIME: A Formal Approach to (Android) Emulation Malware Analysis.

[BibT_eX]

[DOI]

Fabio Bellini

Roberto Chiodi

Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015

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

Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2013

A Formal Framework for Property-Driven Obfuscation Strategies.

[BibT_eX]

[DOI]

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

2012

Strong Preservation by Model Deformation.

[BibT_eX]

[DOI]

Durica Nikolic

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 19th International Symposium, 2012

Obfuscation by partial evaluation of distorted interpreters.

[BibT_eX]

[DOI]

Neil D. Jones

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

2011

Modelling declassification policies using abstract domain completeness.

[BibT_eX]

[DOI]

Anindya Banerjee

Math. Struct. Comput. Sci., 2011

An abstract interpretation-based model for safety semantics.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2011

2010

A Weakest Precondition Approach to Robustness.

[BibT_eX]

[DOI]

Musard Balliu

Trans. Comput. Sci., 2010

A Proof System for Abstract Non-interference.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Adjoining classified and unclassified information by abstract interpretation.

[BibT_eX]

[DOI]

J. Comput. Secur., 2010

Abstract Program Slicing: From Theory towards an Implementation.

[BibT_eX]

[DOI]

Durica Nikolic

Proceedings of the Formal Methods and Software Engineering, 2010

2009

A weakest precondition approach to active attacks analysis.

[BibT_eX]

[DOI]

Musard Balliu

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

2008

Deriving Bisimulations by Simplifying Partitions.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2008

Transforming Abstract Interpretations by Abstract Interpretation.

[BibT_eX]

[DOI]

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

Data dependencies and program slicing: from syntax to abstract semantics.

[BibT_eX]

[DOI]

Damiano Zanardini

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2007

What You Lose is What You Leak: Information Leakage in Declassification Policies.

[BibT_eX]

[DOI]

Anindya Banerjee

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

2005

Abstract non-interference.

[BibT_eX]

[DOI]

PhD thesis, 2005

Transforming semantics by abstract interpretation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

The PER Model of Abstract Non-interference.

[BibT_eX]

[DOI]

Sebastian Hunt

Proceedings of the Static Analysis, 12th International Symposium, 2005

Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2005

Timed Abstract Non-interference.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Adjoining Declassification and Attack Models by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2005

On the Rôle of Abstract Non-interference in Language-Based Security.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Algebraic Power Analysis by Abstract Interpretation.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2004

Abstract non-interference: parameterizing non-interference by abstract interpretation.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Proving Abstract Non-interference.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Non-Standard Semantics for Program Slicing.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2003

Domain Compression for Complete Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2003

2002

Compositionality in the puzzle of semantics.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

2001

Numerical Power Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000

A characterization of symmetric semantics by domain complementation.

[BibT_eX]

[DOI]