Fausto Spoto - RankMe

103 papers A* 2A 4B 13C 7Misc 4Journal 35Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Formalization of Signum's Consensus. FC (Workshops 1) Fausto Spoto
2025	C	`conf`	Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains. ICBC Muhammad Bin Saif, Sara Migliorini, Fausto Spoto
2025	J	`jnl`	An application layer with protocol-based java smart contract verification. Frontiers Comput. Sci. Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2025	J	`jnl`	Design and Implementation of Static Analyses for Tezos Smart Contracts. Distributed Ledger Technol. Res. Pract. Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas P. Jensen, Fausto Spoto
2025	Misc	`conf`	Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. SAC Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2024	J	`jnl`	A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements. Future Internet Muhammad Bin Saif, Sara Migliorini, Fausto Spoto
2024	—	`conf`	Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern. BCCA Muhammad Bin Saif, Sara Migliorini, Fausto Spoto
2024	J	`jnl`	Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain. Future Internet Muhammad Bin Saif, Sara Migliorini, Fausto Spoto
2024	J	`jnl`	General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. IEEE Access Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi
2024	J	`jnl`	Software verification challenges in the blockchain ecosystem. Int. J. Softw. Tools Technol. Transf. Luca Olivieri, Fausto Spoto
2023	J	`jnl`	Fungible and non-fungible tokens with snapshots in Java. Clust. Comput. Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2023	J	`jnl`	Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023	A	`conf`	Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023	—	`conf`	MichelsonLiSA: A Static Analyzer for Tezos. PerCom Workshops Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto
2023	J	`jnl`	On the use of generic types for smart contracts. Clust. Comput. Fausto Spoto, Sara Migliorini, Mauro Gambini, Andrea Benini
2022	—	`conf`	Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
2022	—	`conf`	On the Termination of Borrow Checking in Featherweight Rust. NFM Étienne Payet, David J. Pearce, Fausto Spoto
2021	—	`conf`	Cybersecurity Impacts of the Covid-19 Pandemic in Italy. ITASEC Marco Bozzetti, Luca Olivieri, Fausto Spoto
2021	—	`conf`	On-Chain Smart Contract Verification over Tendermint. Financial Cryptography Workshops Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2021	—	`conf`	Power and Pitfalls of Generic Smart Contracts. BCCA Andrea Benini, Mauro Gambini, Sara Migliorini, Fausto Spoto
2021	—	`conf`	Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine. BCCA Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2021	J	`jnl`	Static Privacy Analysis by Flow Reconstruction of Tainted Data. Int. J. Softw. Eng. Knowl. Eng. Pietro Ferrara, Luca Olivieri, Fausto Spoto
2021	J	`jnl`	Static analysis for discovering IoT vulnerabilities. Int. J. Softw. Tools Technol. Transf. Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
2020	B	`conf`	BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. VMCAI Pietro Ferrara, Luca Olivieri, Fausto Spoto
2020	Misc	`conf`	Cross-program taint analysis for IoT systems. SAC Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto
2020	—	`conf`	Enforcing Determinism of Java Smart Contracts. Financial Cryptography Workshops Fausto Spoto
2020	J	`jnl`	From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Sci. Comput. Program. Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2020	—	`conf`	Intents Analysis of Android Apps for Confidentiality Leakage Detection. ACSS (1) Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
2019	—	`conf`	A Java Framework for Smart Contracts. Financial Cryptography Workshops Fausto Spoto
2019	J	`jnl`	Cross-Programming Language Taint Analysis for the IoT Ecosystem. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
2019	J	`jnl`	Static Identification of Injection Attacks in Java. ACM Trans. Program. Lang. Syst. Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon
2019	J	`jnl`	Static analysis of Android Auto infotainment and on-board diagnostics II apps. Softw. Pract. Exp. Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
2018	—	`conf`	CIL to Java-bytecode translation for static analysis leveraging. FormaliSE@ICSE Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2018	A	`conf`	Checking Array Bounds by Abstract Interpretation and Symbolic Expressions. IJCAR Étienne Payet, Fausto Spoto
2018	—	`conf`	SDLI: Static Detection of Leaks Across Intents. TrustCom/BigDataSE Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi
2018	—	`conf`	Static Analysis for GDPR Compliance. ITASEC Pietro Ferrara, Fausto Spoto
2018	—	`conf`	Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto
2018	—	`conf`	Tailoring Taint Analysis to GDPR. APF Pietro Ferrara, Luca Olivieri, Fausto Spoto
2018	—	`conf`	Vulnerability analysis of Android auto infotainment apps. CF Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto
2017	—	`conf`	Security Analysis of the OWASP Benchmark with Julia. ITASEC Pietro Ferrara, Elisa Burato, Fausto Spoto
2016	J	`jnl`	Creating, generating and comparing random network models with Network Randomizer. F1000Research Gabriele Tosadori, Ivan Bestvina, Fausto Spoto, Carlo Laudanna, Giovanni Scardoni
2016	A*	`conf`	Locking discipline inference and checking. ICSE Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine
2016	—	`conf`	Semantics for Locking Specifications. NFM Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
2016	B	`conf`	The Julia Static Analyzer for Java. SAS Fausto Spoto
2015	B	`conf`	Boolean Formulas for the Static Identification of Injection Attacks in Java. LPAR Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto
2015	J	`jnl`	Finding the shortest path with PesCa: a tool for network reconstruction. F1000Research Giovanni Scardoni, Gabriele Tosadori, Sakshi Pratap, Fausto Spoto, Carlo Laudanna
2015	J	`jnl`	Semantics for Locking Specifications. CoRR Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
2014	B	`conf`	A Thread-Safe Library for Binary Decision Diagrams. SEFM Alberto Lovato, Damiano Macedonio, Fausto Spoto
2014	C	`conf`	An operational semantics for android activities. PEPM Étienne Payet, Fausto Spoto
2014	J	`jnl`	Biological network analysis with CentiScaPe: centralities and experimental dataset integration. F1000Research Giovanni Scardoni, Gabriele Tosadori, Mohammed Faizan, Fausto Spoto, Franco Fabbri, Carlo Laudanna
2014	J	`jnl`	Field-sensitive unreachability and non-cyclicity analysis. Sci. Comput. Program. Enrico Scapin, Fausto Spoto
2014	J	`jnl`	Non-Termination Analysis of Java Bytecode. CoRR Étienne Payet, Fred Mesnard, Fausto Spoto
2013	J	`jnl`	Inferring complete initialization of arrays. Theor. Comput. Sci. Durica Nikolic, Fausto Spoto
2013	J	`jnl`	Reachability analysis of program variables. ACM Trans. Program. Lang. Syst. Durica Nikolic, Fausto Spoto
2012	C	`conf`	Automaton-Based Array Initialization Analysis. LATA Durica Nikolic, Fausto Spoto
2012	C	`conf`	Definite Expression Aliasing Analysis for Java Bytecode. ICTAC Durica Nikolic, Fausto Spoto
2012	A	`conf`	Reachability Analysis of Program Variables. IJCAR Durica Nikolic, Fausto Spoto
2012	J	`jnl`	Static analysis of Android programs. Inf. Softw. Technol. Étienne Payet, Fausto Spoto
2011	A*	`conf`	Inference of field initialization. ICSE Fausto Spoto, Michael D. Ernst
2011	J	`jnl`	Precise null-pointer analysis. Softw. Syst. Model. Fausto Spoto
2011	A	`conf`	Static Analysis of Android Programs. CADE Étienne Payet, Fausto Spoto
2010	J	`jnl`	A termination analyzer for Java bytecode based on path-length. ACM Trans. Program. Lang. Syst. Fausto Spoto, Fred Mesnard, Étienne Payet
2010	J	`jnl`	Magic-sets for localised analysis of Java bytecode. High. Order Symb. Comput. Fausto Spoto, Étienne Payet
2010	—	`conf`	The Nullness Analyser of julia. LPAR (Dakar) Fausto Spoto
2009	—	`conf`	Experiments with Non-Termination Analysis for Java Bytecode. BYTECODE@ETAPS Étienne Payet, Fausto Spoto
2009	—	`conf`	Using CLP Simplifications to Improve Java Bytecode Termination Analysis. BYTECODE@ETAPS Fausto Spoto, Lunjin Lu, Fred Mesnard
2008	B	`conf`	Nullness Analysis in Boolean Form. SEFM Fausto Spoto
2008	Misc	`conf`	Special track on Software Verification: editorial message. SAC Fausto Spoto
2007	B	`conf`	Magic-Sets Transformation for the Analysis of Java Bytecode. SAS Étienne Payet, Fausto Spoto
2007	J	`jnl`	Optimality and condensing of information flow through linear refinement. Theor. Comput. Sci. Fausto Spoto
2007	—	`conf`	Preface. Bytecode@ETAPS Marieke Huisman, Fausto Spoto
2007	—	`ed.`	Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007 Bytecode@ETAPS Marieke Huisman, Fausto Spoto
2006	J	`jnl`	Deriving Escape Analysis by Abstract Interpretation: Proofs of results CoRR Patricia M. Hill, Fausto Spoto
2006	J	`jnl`	Deriving escape analysis by abstract interpretation. High. Order Symb. Comput. Patricia M. Hill, Fausto Spoto
2006	B	`conf`	Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. VMCAI Stefano Rossignoli, Fausto Spoto
2005	B	`conf`	Information Flow Analysis for Java Bytecode. VMCAI Samir Genaim, Fausto Spoto
2005	C	`conf`	Information Flow Is Linear Refinement of Constancy. ICTAC Fausto Spoto
2005	B	`conf`	Pair-Sharing Analysis of Object-Oriented Programs. SAS Stefano Secci, Fausto Spoto
2005	—	`conf`	Preface. Bytecode@ETAPS Fausto Spoto
2005	—	`ed.`	Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005 Bytecode@ETAPS Fausto Spoto
2003	—	`conf`	Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE S. Bozzoli, Fausto Spoto, Agostino Dovier
2003	J	`jnl`	Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. Fausto Spoto, Thomas P. Jensen
2003	C	`conf`	Logic Programs as Compact Denotations. PADL Patricia M. Hill, Fausto Spoto
2003	J	`jnl`	Logic programs as compact denotations. Comput. Lang. Syst. Struct. Patricia M. Hill, Fausto Spoto
2003	J	`jnl`	Pair-independence and freeness analysis through linear refinement. Inf. Comput. Giorgio Levi, Fausto Spoto
2002	—	`conf`	A Foundation of Escape Analysis. AMAST Patricia M. Hill, Fausto Spoto
2002	B	`conf`	A Refinement of the Escape Property. VMCAI Patricia M. Hill, Fausto Spoto
2002	J	`jnl`	Generalizing Def and Pos to Type Analysis. J. Log. Comput. Patricia M. Hill, Fausto Spoto
2001	Misc	`conf`	Abstract Compilation for Sharing Analysis. FLOPS Gianluca Amato, Fausto Spoto
2001	B	`conf`	Class Analysis of Object-Oriented Programs through Abstract Interpretation. FoSSaCS Thomas P. Jensen, Fausto Spoto
2001	—	`conf`	Logic programs as abstract domains. APPIA-GULP-PRODE Fausto Spoto
2001	B	`conf`	Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. SAS Fausto Spoto
2000	—	`conf`	Analysis of Downward Closed Properties of Logic Programs. AMAST Patricia M. Hill, Fausto Spoto
2000	C	`conf`	Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM Giorgio Levi, Fausto Spoto
2000	J	`jnl`	Operational and Goal-Independent Denotational Semantics for Prolog with Cut. J. Log. Program. Fausto Spoto
1999	B	`conf`	Freeness Analysis Through Linear Refinement. SAS Patricia M. Hill, Fausto Spoto
1999	—	`conf`	Freeness Analysis through Linear Refinement. APPIA-GULP-PRODE Patricia M. Hill, Fausto Spoto
1998	—	`conf`	Abstract Interpretation of Prolog Programs. AMAST Fausto Spoto, Giorgio Levi
1998	—	`conf`	An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE Fausto Spoto, Giorgio Levi
1998	—	`conf`	An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP Giorgio Levi, Fausto Spoto
1998	—	`conf`	Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. APPIA-GULP-PRODE Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto
1997	—	`conf`	A Denotational Semantics for Prolog. APPIA-GULP-PRODE Fausto Spoto, Giorgio Levi
1996	—	`conf`	Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE Giorgio Levi, Fausto Spoto