FERRARA, Pietro

FERRARA, Pietro  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 46 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Survey on Product Operators in Abstract Interpretation 1-gen-2013 CORTESI, AgostinoCOSTANTINI, GIULIAP. FERRARA 2.1 Articolo su rivista -
The abstract domain of Trapezoid Step Functions 1-gen-2015 CORTESI, AgostinoFerrara, P. + 2.1 Articolo su rivista -
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 1-gen-2020 Pietro Ferrara + 4.1 Articolo in Atti di convegno -
Certifying decision trees against evasion attacks by program analysis 1-gen-2020 Calzavara S.Ferrara P.Lucchese C. 4.1 Articolo in Atti di convegno -
Checkmate: A generic static analyzer of Java multithreaded programs 1-gen-2009 Ferrara P 4.1 Articolo in Atti di convegno -
CIL to Java-bytecode translation for static analysis leveraging 1-gen-2018 Ferrara, PietroCortesi, Agostino + 4.1 Articolo in Atti di convegno -
Combining symbolic and numerical domains for information leakage analysis 1-gen-2018 Agostino CortesiFERRARA, PietroRaju HalderMatteo Zanioli 2.1 Articolo su rivista -
Cross-Program Taint Analysis for IoT Systems 1-gen-2020 Amit MandalPietro FerraraAgostino Cortesi + 4.1 Articolo in Atti di convegno -
Cross-Programming Language Taint Analysis for the IoT Ecosystem 1-gen-2019 Pietro FerraraAmit Kr MandalAgostino Cortesi + 2.1 Articolo su rivista -
DAPA: Degradation-Aware Privacy Analysis of Android Apps 1-gen-2016 CORTESI, AgostinoFerrara, PietroSteffinlongo, Enrico + 4.1 Articolo in Atti di convegno -
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 1-gen-2015 CORTESI, AgostinoFerrara, Pietro + 4.1 Articolo in Atti di convegno -
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 1-gen-2013 COSTANTINI, GIULIAFerrara P.CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Arceri, VincenzoNegrini, LucaCortesi, AgostinoFerrara, PietroSpoto, Fausto + 4.1 Articolo in Atti di convegno -
FASE: Functionality-aware security enforcement 1-gen-2016 Ferrara P + 4.1 Articolo in Atti di convegno -
Foraging goes mobile: Foraging while debugging on mobile devices 1-gen-2017 Ferrara P + 4.1 Articolo in Atti di convegno -
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 1-gen-2020 Pietro FerraraAgostino Cortesi + 2.1 Articolo su rivista -
A generic framework for heap and value analyses of object-oriented programming languages 1-gen-2016 Ferrara P 2.1 Articolo su rivista -
Intents Analysis of Android Apps for Confidentiality Leakage Detection 1-gen-2020 Salvia R.Cortesi A.Ferrara P. + 3.1 Articolo su libro -
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 1-gen-2006 FERRARA P 4.1 Articolo in Atti di convegno -
Linear approximation of continuous systems with Trapezoid Step Functions 1-gen-2012 COSTANTINI, GIULIAFERRARA P.CORTESI, Agostino 4.1 Articolo in Atti di convegno -