Sfoglia per Autore
JAIL: Firewall Analysis of Java Card by Abstract Interpretation
2006-01-01 Ferrara, P
Safer unsafe code for .NET
2008-01-01 Ferrara, P; Francesco, Logozzo; Manuel, Fahndrich
Static analysis of the determinism of multithreaded programs
2008-01-01 Ferrara, P
Static analysis via abstract interpretation of the happens-before memory model
2008-01-01 Ferrara, P
Safer unsafe code for .net
2008-01-01 Ferrara, P; Logozzo, F; Fahndrich, M
Checkmate: A generic static analyzer of Java multithreaded programs
2009-01-01 Ferrara, P
Static Analysis of String Values
2011-01-01 Costantini, Giulia; Ferrara, P.; Cortesi, Agostino
SAILS: Static Analysis of Information Leakage with Sample
2012-01-01 Zanioli, Matteo; Ferrara, P.; Cortesi, Agostino
Linear approximation of continuous systems with Trapezoid Step Functions
2012-01-01 Costantini, Giulia; Ferrara, P.; Cortesi, Agostino
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software
2013-01-01 Costantini, Giulia; Ferrara, P.; Maggiore, G.; Cortesi, Agostino
A Survey on Product Operators in Abstract Interpretation
2013-01-01 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
Static Analysis Techniques for Robotics Software Verification
2014-01-01 Cortesi, Agostino; Ferrara, P.; Chaki, N.
A suite of abstract domains for static analysis of string values
2015-01-01 Costantini, Giulia; Ferrara, Pietro; Cortesi, Agostino
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
2015-01-01 Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer
The abstract domain of Trapezoid Step Functions
2015-01-01 Cortesi, Agostino; Costantini, G.; Ferrara, P.
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis
2015-01-01 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer
DAPA: Degradation-Aware Privacy Analysis of Android Apps
2016-01-01 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico
FASE: Functionality-aware security enforcement
2016-01-01 Tsankov, P; Pistoia, M; Tripp, O; Vechev, M; Ferrara, P
A generic framework for heap and value analyses of object-oriented programming languages
2016-01-01 Ferrara, P
Pinpointing mobile malware using code analysis
2016-01-01 Tripp, O; Pistoia, M; Ferrara, P; Rubin, J
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile