( en | de | ru )

 

Disambiguation of "Spoto, Fausto"

Author of the publication

copydeleteadd this publication to your clipboard
Cross-Programming Language Taint Analysis for the IoT Ecosystem.

, , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fausto Orestano

Fausto Carrasco

Fausto Orestano

Fausto Orestano

Fausto Guzzetti

 

Other publications of authors with the same name

Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine., , , and . BCCA, page 187-194. IEEE, (2021)Information Flow Analysis for Detecting Non-Determinism in Blockchain., , , , , , and . ECOOP, volume 263 of LIPIcs, page 23:1-23:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Inference of field initialization., and . ICSE, page 231-240. ACM, (2011)The Nullness Analyser of julia.. LPAR (Dakar), volume 6355 of Lecture Notes in Computer Science, page 405-424. Springer, (2010)Abstract Compilation for Sharing Analysis., and . FLOPS, volume 2024 of Lecture Notes in Computer Science, page 311-325. Springer, (2001)Abstract Interpretation of Prolog Programs., and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 455-470. Springer, (1998)Nullness Analysis in Boolean Form.. SEFM, page 21-30. IEEE Computer Society, (2008)Analysis of Downward Closed Properties of Logic Programs., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 181-196. Springer, (2000)On-Chain Smart Contract Verification over Tendermint., , and . Financial Cryptography Workshops, volume 12676 of Lecture Notes in Computer Science, page 333-347. Springer, (2021)Static analysis for discovering IoT vulnerabilities., , , and . Int. J. Softw. Tools Technol. Transf., 23 (1): 71-88 (2021)