Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 53
Titolo Data di pubblicazione Autori Tipo File Abstract
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 1-gen-2006 FERRARA P 4.1 Articolo in Atti di convegno -
Safer unsafe code for .NET 1-gen-2008 FERRARA P + 2.1 Articolo su rivista -
Static analysis of the determinism of multithreaded programs 1-gen-2008 Ferrara P 4.1 Articolo in Atti di convegno -
Static analysis via abstract interpretation of the happens-before memory model 1-gen-2008 Ferrara P 4.1 Articolo in Atti di convegno -
Safer unsafe code for .net 1-gen-2008 Ferrara P + 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 -
Static Analysis of String Values 1-gen-2011 COSTANTINI, GIULIAFERRARA P.CORTESI, Agostino 4.1 Articolo in Atti di convegno -
SAILS: Static Analysis of Information Leakage with Sample 1-gen-2012 ZANIOLI, MatteoFERRARA P.CORTESI, Agostino 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 -
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 -
A Survey on Product Operators in Abstract Interpretation 1-gen-2013 CORTESI, AgostinoCOSTANTINI, GIULIAP. FERRARA 2.1 Articolo su rivista -
Static Analysis Techniques for Robotics Software Verification 1-gen-2014 CORTESI, AgostinoFERRARA P. + 4.1 Articolo in Atti di convegno -
A suite of abstract domains for static analysis of string values 1-gen-2015 Ferrara, PietroCORTESI, Agostino + 2.1 Articolo su rivista -
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 abstract domain of Trapezoid Step Functions 1-gen-2015 CORTESI, AgostinoFerrara, P. + 2.1 Articolo su rivista -
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 1-gen-2015 CORTESI, AgostinoFerrara, Pietro + 4.1 Articolo in Atti di convegno -
DAPA: Degradation-Aware Privacy Analysis of Android Apps 1-gen-2016 CORTESI, AgostinoFerrara, PietroSteffinlongo, Enrico + 4.1 Articolo in Atti di convegno -
FASE: Functionality-aware security enforcement 1-gen-2016 Ferrara P + 4.1 Articolo in Atti di convegno -
A generic framework for heap and value analyses of object-oriented programming languages 1-gen-2016 Ferrara P 2.1 Articolo su rivista -
Pinpointing mobile malware using code analysis 1-gen-2016 Ferrara P + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 1 a 20 di 53
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