Fausto Spoto

According to our database, Fausto Spoto authored at least 86 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain.

Muhammad Bin Saif, Sara Migliorini, Fausto Spoto

Future Internet, March, 2024

2023

Fungible and non-fungible tokens with snapshots in Java.

Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Clust. Comput., October, 2023

On the use of generic types for smart contracts.

Fausto Spoto, Sara Migliorini, Mauro Gambini, Andrea Benini

Clust. Comput., August, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

MichelsonLiSA: A Static Analyzer for Tezos.

Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

On the Termination of Borrow Checking in Featherweight Rust.

Étienne Payet, David J. Pearce, Fausto Spoto

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Static analysis for discovering IoT vulnerabilities.

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto

Int. J. Softw. Tools Technol. Transf., 2021

Static Privacy Analysis by Flow Reconstruction of Tainted Data.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Int. J. Softw. Eng. Knowl. Eng., 2021

Cybersecurity Impacts of the Covid-19 Pandemic in Italy.

Marco Bozzetti, Luca Olivieri, Fausto Spoto

Proceedings of the Italian Conference on Cybersecurity, 2021

On-Chain Smart Contract Verification over Tendermint.

Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine.

Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021

Power and Pitfalls of Generic Smart Contracts.

Andrea Benini, Mauro Gambini, Sara Migliorini, Fausto Spoto

Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021

2020

From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.

Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Sci. Comput. Program., 2020

BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Cross-program taint analysis for IoT systems.

Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Enforcing Determinism of Java Smart Contracts.

Fausto Spoto

Proceedings of the Financial Cryptography and Data Security, 2020

Intents Analysis of Android Apps for Confidentiality Leakage Detection.

Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto

Proceedings of the Advanced Computing and Systems for Security, 2020

2019

Static Identification of Injection Attacks in Java.

Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon

ACM Trans. Program. Lang. Syst., 2019

Static analysis of Android Auto infotainment and on-board diagnostics II apps.

Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto

Softw. Pract. Exp., 2019

Cross-Programming Language Taint Analysis for the IoT Ecosystem.

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

A Java Framework for Smart Contracts.

Fausto Spoto

Proceedings of the Financial Cryptography and Data Security, 2019

2018

SDLI: Static Detection of Leaks Across Intents.

Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi

Proceedings of the 17th IEEE International Conference On Trust, 2018

Static Analysis of Android Apps Interaction with Automotive CAN.

Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto

Proceedings of the Smart Computing and Communication - Third International Conference, 2018

Static Analysis for GDPR Compliance.

Pietro Ferrara, Fausto Spoto

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

CIL to Java-bytecode translation for static analysis leveraging.

Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Vulnerability analysis of Android auto infotainment apps.

Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

Checking Array Bounds by Abstract Interpretation and Symbolic Expressions.

Étienne Payet, Fausto Spoto

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

Tailoring Taint Analysis to GDPR.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Proceedings of the Privacy Technologies and Policy - 6th Annual Privacy Forum, 2018

2017

Security Analysis of the OWASP Benchmark with Julia.

Pietro Ferrara, Elisa Burato, Fausto Spoto

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

2016

Creating, generating and comparing random network models with Network Randomizer.

Gabriele Tosadori, Ivan Bestvina, Fausto Spoto, Carlo Laudanna, Giovanni Scardoni

F1000Research, 2016

The Julia Static Analyzer for Java.

Fausto Spoto

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

Semantics for Locking Specifications.

Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Locking discipline inference and checking.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Finding the shortest path with PesCa: a tool for network reconstruction.

Giovanni Scardoni, Gabriele Tosadori, Sakshi Pratap, Fausto Spoto, Carlo Laudanna

F1000Research, 2015

Boolean Formulas for the Static Identification of Injection Attacks in Java.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Field-sensitive unreachability and non-cyclicity analysis.

Enrico Scapin, Fausto Spoto

Sci. Comput. Program., 2014

Biological network analysis with CentiScaPe: centralities and experimental dataset integration.

Giovanni Scardoni, Gabriele Tosadori, Mohammed Faizan, Fausto Spoto, Franco Fabbri, Carlo Laudanna

F1000Research, 2014

Non-Termination Analysis of Java Bytecode.

Étienne Payet, Fred Mesnard, Fausto Spoto

CoRR, 2014

A Thread-Safe Library for Binary Decision Diagrams.

Alberto Lovato, Damiano Macedonio, Fausto Spoto

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

An operational semantics for android activities.

Étienne Payet, Fausto Spoto

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

Reachability analysis of program variables.

Durica Nikolic, Fausto Spoto

ACM Trans. Program. Lang. Syst., 2013

Inferring complete initialization of arrays.

Durica Nikolic, Fausto Spoto

Theor. Comput. Sci., 2013

2012

Static analysis of Android programs.

Étienne Payet, Fausto Spoto

Inf. Softw. Technol., 2012

Automaton-Based Array Initialization Analysis.

Durica Nikolic, Fausto Spoto

Proceedings of the Language and Automata Theory and Applications, 2012

Definite Expression Aliasing Analysis for Java Bytecode.

Durica Nikolic, Fausto Spoto

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

Precise null-pointer analysis.

Fausto Spoto

Softw. Syst. Model., 2011

Inference of field initialization.

Fausto Spoto, Michael D. Ernst

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

A termination analyzer for Java bytecode based on path-length.

Fausto Spoto, Fred Mesnard, Étienne Payet

ACM Trans. Program. Lang. Syst., 2010

Magic-sets for localised analysis of Java bytecode.

Fausto Spoto, Étienne Payet

High. Order Symb. Comput., 2010

The Nullness Analyser of julia.

Fausto Spoto

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Using CLP Simplifications to Improve Java Bytecode Termination Analysis.

Fausto Spoto, Lunjin Lu, Fred Mesnard

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

Experiments with Non-Termination Analysis for Java Bytecode.

Étienne Payet, Fausto Spoto

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

2008

Nullness Analysis in Boolean Form.

Fausto Spoto

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Special track on Software Verification: editorial message.

Fausto Spoto

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

2007

Optimality and condensing of information flow through linear refinement.

Fausto Spoto

Theor. Comput. Sci., 2007

Preface.

Marieke Huisman, Fausto Spoto

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Magic-Sets Transformation for the Analysis of Java Bytecode.

Étienne Payet, Fausto Spoto

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

Deriving escape analysis by abstract interpretation.

Patricia M. Hill, Fausto Spoto

High. Order Symb. Comput., 2006

Deriving Escape Analysis by Abstract Interpretation: Proofs of results

Patricia M. Hill, Fausto Spoto

CoRR, 2006

Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.

Stefano Rossignoli, Fausto Spoto

Proceedings of the Verification, 2006

2005

Preface.

Fausto Spoto

Proceedings of the First Workshop on Bytecode Semantics, 2005

Information Flow Analysis for Java Bytecode.

Samir Genaim, Fausto Spoto

Proceedings of the Verification, 2005

Pair-Sharing Analysis of Object-Oriented Programs.

Stefano Secci, Fausto Spoto

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

Information Flow Is Linear Refinement of Constancy.

Fausto Spoto

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Class analyses as abstract interpretations of trace semantics.

Fausto Spoto, Thomas P. Jensen

ACM Trans. Program. Lang. Syst., 2003

Pair-independence and freeness analysis through linear refinement.

Giorgio Levi, Fausto Spoto

Inf. Comput., 2003

Logic programs as compact denotations.

Patricia M. Hill, Fausto Spoto

Comput. Lang. Syst. Struct., 2003

Approximate Protein Folding in Oz through Frequency Analysis.

S. Bozzoli, Fausto Spoto, Agostino Dovier

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Generalizing Def and Pos to Type Analysis.

Patricia M. Hill, Fausto Spoto

J. Log. Comput., 2002

A Refinement of the Escape Property.

Patricia M. Hill, Fausto Spoto

Proceedings of the Verification, 2002

A Foundation of Escape Analysis.

Patricia M. Hill, Fausto Spoto

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.

Fausto Spoto

Proceedings of the Static Analysis, 8th International Symposium, 2001

Class Analysis of Object-Oriented Programs through Abstract Interpretation.

Thomas P. Jensen, Fausto Spoto

Proceedings of the Foundations of Software Science and Computation Structures, 2001

Abstract Compilation for Sharing Analysis.

Gianluca Amato, Fausto Spoto

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

Logic programs as abstract domains.

Fausto Spoto

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Operational and Goal-Independent Denotational Semantics for Prolog with Cut.

Fausto Spoto

J. Log. Program., 2000

Non Pair-Sharing and Freeness Analysis Through Linear Refinement.

Giorgio Levi, Fausto Spoto

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

Analysis of Downward Closed Properties of Logic Programs.

Patricia M. Hill, Fausto Spoto

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Freeness Analysis through Linear Refinement.

Patricia M. Hill, Fausto Spoto

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Abstract Interpretation of Prolog Programs.

Fausto Spoto, Giorgio Levi

Proceedings of the Algebraic Methodology and Software Technology, 1998

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.

Fausto Spoto, Giorgio Levi

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.

Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

A Denotational Semantics for Prolog.

Fausto Spoto, Giorgio Levi

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Accurate Analysis of Prolog with cut.

Giorgio Levi, Fausto Spoto

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996