( en | de | ru )

 

Disambiguation of "Ferrara, Pietro"

Author of the publication

copydeleteadd this publication to your clipboard
Cross-program taint analysis for IoT systems.

, , , , and . SAC, page 1944-1952. ACM, (2020)

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.

Pietro Ferrara

Gesine Ferrara

Manuela Ferrara

Fabienne Ferrara

Stefania Ferrara

 

Other publications of authors with the same name

Static analysis of Android Auto infotainment and on-board diagnostics II apps., , , , and . Softw. Pract. Exp., 49 (7): 1131-1161 (2019)SARL: OO Framework Specification for Static Analysis., and . VSTTE, volume 12549 of Lecture Notes in Computer Science, page 3-20. Springer, (2020)Relational String Abstract Domains., , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 20-42. Springer, (2022)Ensuring determinism in blockchain software with GoLiSA: an industrial experience report., , , , , , , , and . SOAP@PLDI, page 23-29. ACM, (2022)Detection of Phantom Reads in Hyperledger Fabric., , , , , and . IEEE Access, (2024)Cross-Programming Language Taint Analysis for the IoT Ecosystem., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)From CIL to Java bytecode: Semantics-based translation for static analysis leveraging., , and . Sci. Comput. Program., (2020)Certifying machine learning models against evasion attacks by program analysis., , and . J. Comput. Secur., 31 (1): 57-84 (2023)Static analysis for dummies: experiencing LiSA., , , and . SOAP@PLDI, page 1-6. ACM, (2021)Twinning Automata and Regular Expressions for String Static Analysis., , , and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 267-290. Springer, (2021)