CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 83
Titolo Data di pubblicazione Autore(i) File
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
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 1-gen-2008 Mastroeni, Isabella; Zanardini, Damiano
Modelling Declassification Policies using Abstract Domain Completeness 1-gen-2008 Mastroeni, Isabella; A., Banerjee
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Deriving Bisimulations by Simplifying Partitions 1-gen-2008 Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2009 Giacobazzi, Roberto; Mastroeni, Isabella
A weakest precondition approach to active attacks analysis 1-gen-2009 M., Balliu; Mastroeni, Isabella
A Weakest Precondition Approach to Robustness 1-gen-2010 M., Balliu; Mastroeni, Isabella
A proof system for Abstract Non-Interference 1-gen-2010 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation 1-gen-2010 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Program Slicing: From theory towards an implementation 1-gen-2010 Mastroeni, Isabella; Nikolic, Durica
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2011 Mastroeni, Isabella; Giacobazzi, Roberto
Modeling Declassification Policies using Abstract Domain Completeness 1-gen-2011 Mastroeni, Isabella; A., Banerjee
Strong Preservation by Model Deformation 1-gen-2012 Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 1-gen-2012 Giacobazzi, Roberto; Mastroeni, Isabella
Obfuscation by Partial Evaluation of Distorted Interpreters 1-gen-2012 Giacobazzi, Roberto; N. D., Jones; Mastroeni, Isabella
Chasing infections by unveiling program dependencies. 1-gen-2013 DALLA PREDA, Mila; Mastroeni, Isabella
Formal Framework for Property-driven Obfuscations 1-gen-2013 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 1-gen-2013 Mastroeni, Isabella
Mostrati risultati da 21 a 40 di 83
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