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