SPOTO, Nicola Fausto
SPOTO, Nicola Fausto
DIPARTIMENTO DI INFORMATICA
A Foundation of Escape Analysis
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
A Java Framework for Smart Contracts
2020-01-01 Spoto, Nicola Fausto
A Refinement of the Escape Property
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
A Thread-Safe Library for Binary Decision Diagrams
2014-01-01 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Abstract Compilation for Sharing Analysis
2001-01-01 Gianluca, Amato; Spoto, Nicola Fausto
Abstract Interpretation of Prolog Programs
1999-01-01 Spoto, Nicola Fausto; G., Levi
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
1998-01-01 G., Levi; Spoto, Nicola Fausto
An Operational Semantics for Android Activities
2014-01-01 E., Payet; Spoto, Nicola Fausto
Analysis of Downward Closed Properties of Logic Programs
2000-01-01 P. M., Hill; Spoto, Nicola Fausto
Automaton-Based Array Initialization Analysis
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results
2020-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Boolean Formulas for the Static Identification of Injection Attacks in Java
2015-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
2018-01-01 Payet, Étienne; Spoto, Nicola Fausto
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Class Analysis of Object-Oriented Programs through Abstract Interpretation
2001-01-01 Thomas, Jensen; Spoto, Nicola Fausto
Constancy Analysis
2008-01-01 G., Samir; Spoto, Nicola Fausto
Cross-Program Taint Analysis for IoT Systems
2020-01-01 Mandal, A; Ferrara, P; Khlyebnikov, Y; Cortesi, A; Spoto, F
Cybersecurity Impacts of the Covid-19 Pandemic in Italy
2021-01-01 Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto
Definite Expression Aliasing Analysis for Java Bytecode
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions
2006-01-01 Stefano, Rossignoli; Spoto, Nicola Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Foundation of Escape Analysis | 1-gen-2002 | P. M., Hill; Spoto, Nicola Fausto | |
| A Java Framework for Smart Contracts | 1-gen-2020 | Spoto, Nicola Fausto | |
| A Refinement of the Escape Property | 1-gen-2002 | P. M., Hill; Spoto, Nicola Fausto | |
| A Thread-Safe Library for Binary Decision Diagrams | 1-gen-2014 | Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto | |
| Abstract Compilation for Sharing Analysis | 1-gen-2001 | Gianluca, Amato; Spoto, Nicola Fausto | |
| Abstract Interpretation of Prolog Programs | 1-gen-1999 | Spoto, Nicola Fausto; G., Levi | |
| An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs | 1-gen-1998 | G., Levi; Spoto, Nicola Fausto | |
| An Operational Semantics for Android Activities | 1-gen-2014 | E., Payet; Spoto, Nicola Fausto | |
| Analysis of Downward Closed Properties of Logic Programs | 1-gen-2000 | P. M., Hill; Spoto, Nicola Fausto | |
| Automaton-Based Array Initialization Analysis | 1-gen-2012 | Nikolic, Durica; Spoto, Nicola Fausto | |
| BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results | 1-gen-2020 | Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto | |
| Boolean Formulas for the Static Identification of Injection Attacks in Java | 1-gen-2015 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto | |
| Checking Array Bounds by Abstract Interpretation and Symbolic Expressions | 1-gen-2018 | Payet, Étienne; Spoto, Nicola Fausto | |
| CIL to Java-bytecode translation for static analysis leveraging | 1-gen-2018 | Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Class Analysis of Object-Oriented Programs through Abstract Interpretation | 1-gen-2001 | Thomas, Jensen; Spoto, Nicola Fausto | |
| Constancy Analysis | 1-gen-2008 | G., Samir; Spoto, Nicola Fausto | |
| Cross-Program Taint Analysis for IoT Systems | 1-gen-2020 | Mandal, A; Ferrara, P; Khlyebnikov, Y; Cortesi, A; Spoto, F | |
| Cybersecurity Impacts of the Covid-19 Pandemic in Italy | 1-gen-2021 | Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto | |
| Definite Expression Aliasing Analysis for Java Bytecode | 1-gen-2012 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions | 1-gen-2006 | Stefano, Rossignoli; Spoto, Nicola Fausto |