CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 112
Titolo Data di pubblicazione Autore(i) File
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 1-gen-2005 Giacobazzi, Roberto; Mastroeni, Isabella
Opaque Predicate Detection by Abstract Interpretation 1-gen-2006 DALLA PREDA, Mila; Matias, Madou; Koen De, Bosschere; Giacobazzi, Roberto
Incompleteness of States w.r.t. Traces in Model Checking 1-gen-2006 Giacobazzi, Roberto; F., Ranzato
Foreword: Special issue on the 11th Static Analysis Symposium - SAS 2004 1-gen-2007 Giacobazzi, Roberto
What you lose is what you leak: Information leakage in declassification policies 1-gen-2007 A., Banerjee; Giacobazzi, Roberto; Mastroeni, Isabella
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 1-gen-2007 Francesco, Banterle; Giacobazzi, Roberto
Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Hiding Software Watermarks in Loop Structures. 1-gen-2008 DALLA PREDA, Mila; Giacobazzi, Roberto; Visentini, Enrico
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 1-gen-2008 Giacobazzi, Roberto
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
A proof System for Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2009 Giacobazzi, Roberto; Mastroeni, Isabella
Semantic-based Code Obfuscation by Abstract Interpretation 1-gen-2009 DALLA PREDA, Mila; Giacobazzi, Roberto
Abstract interpretation of resolution-based semantics 1-gen-2009 Patrick, Cousot; Radhia, Cousot; Giacobazzi, Roberto
Adjoining classified and unclassified information by Abstract Interpretation 1-gen-2010 Giacobazzi, Roberto; Mastroeni, Isabella
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 1-gen-2010 Delzanno, Giorgio; Giacobazzi, Roberto; Ranzato, Francesco
Example-Guided Abstraction Simplification 1-gen-2010 Giacobazzi, Roberto; Ranzato, Francesco
Modelling Metamorphism by Abstract Interpretation 1-gen-2010 DALLA PREDA, Mila; Giacobazzi, Roberto; Debray, S.; Coogan, K.; Townsend, G.
Abstract Interpretation-Based Protection 1-gen-2010 Giacobazzi, Roberto
Mostrati risultati da 41 a 60 di 112
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