Sfoglia per Autore
A proof system for Abstract Non-Interference
2010-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Relock-based vulnerability in Windows 7
2011-01-01 A., Fortunato; M., Passuello; Giacobazzi, Roberto
Toward Digital Asset Protection
2011-01-01 Christian, Collberg; Jack, Davidson; Giacobazzi, Roberto; Yuan Xiang, Gu; Amir, Herzberg; Fei Yue, Wang
Foreword: programming language interference and dependence
2011-01-01 Clark, D; Giacobazzi, Roberto; Mu, C.
An Abstract Interpretation-based Model for Safety Semantics
2011-01-01 Mastroeni, Isabella; Giacobazzi, Roberto
On Entropy Measures for Code Obfuscation
2012-01-01 Giacobazzi, Roberto; Toppan, Andrea
Strong Preservation by Model Deformation
2012-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica
Twisting Additivity in Program Obfuscation
2012-01-01 DALLA PREDA, Mila; Feng, W.; Giacobazzi, Roberto; Greechie, R.; Lakhotia, A.
Obfuscation by Partial Evaluation of Distorted Interpreters
2012-01-01 Giacobazzi, Roberto; N. D., Jones; Mastroeni, Isabella
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation
2012-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Software Security by Obscurity - A Programming Language Perspective.
2012-01-01 Giacobazzi, Roberto
14th International symposium on Verification, Model Checking and Abstract Interpretation
2013-01-01 Giacobazzi, Roberto; J., Berdine; Mastroeni, Isabella
Formal Framework for Property-driven Obfuscations
2013-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2013-01-01 Giacobazzi, Roberto; Cousot, R.
Fast location of similar code fragments using semantic 'juice'
2013-01-01 Arun, Lakhotia; DALLA PREDA, Mila; Giacobazzi, Roberto
Principles of POPL
2013-01-01 Dreyer, Derek; Field, John; Giacobazzi, Roberto; Hicks, Michael; Jagannathan, Suresh; Sagiv, Mooly; Sewell, Peter; Wadler, Philip
Correctness Kernels of Abstract Interpretations
2014-01-01 Giacobazzi, Roberto; Ranzato, F.
Analyzing program dependences for malware detection.
2014-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Obscuring Code - Unveiling and Veiling Information in Programs.
2014-01-01 Giacobazzi, Roberto
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A proof system for Abstract Non-Interference | 1-gen-2010 | Giacobazzi, Roberto; Mastroeni, Isabella | |
Relock-based vulnerability in Windows 7 | 1-gen-2011 | A., Fortunato; M., Passuello; Giacobazzi, Roberto | |
Toward Digital Asset Protection | 1-gen-2011 | Christian, Collberg; Jack, Davidson; Giacobazzi, Roberto; Yuan Xiang, Gu; Amir, Herzberg; Fei Yue, Wang | |
Foreword: programming language interference and dependence | 1-gen-2011 | Clark, D; Giacobazzi, Roberto; Mu, C. | |
An Abstract Interpretation-based Model for Safety Semantics | 1-gen-2011 | Mastroeni, Isabella; Giacobazzi, Roberto | |
On Entropy Measures for Code Obfuscation | 1-gen-2012 | Giacobazzi, Roberto; Toppan, Andrea | |
Strong Preservation by Model Deformation | 1-gen-2012 | Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica | |
Twisting Additivity in Program Obfuscation | 1-gen-2012 | DALLA PREDA, Mila; Feng, W.; Giacobazzi, Roberto; Greechie, R.; Lakhotia, A. | |
Obfuscation by Partial Evaluation of Distorted Interpreters | 1-gen-2012 | Giacobazzi, Roberto; N. D., Jones; Mastroeni, Isabella | |
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation | 1-gen-2012 | Giacobazzi, Roberto; Mastroeni, Isabella | |
Software Security by Obscurity - A Programming Language Perspective. | 1-gen-2012 | Giacobazzi, Roberto | |
14th International symposium on Verification, Model Checking and Abstract Interpretation | 1-gen-2013 | Giacobazzi, Roberto; J., Berdine; Mastroeni, Isabella | |
Formal Framework for Property-driven Obfuscations | 1-gen-2013 | DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto | |
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 1-gen-2013 | Giacobazzi, Roberto; Cousot, R. | |
Fast location of similar code fragments using semantic 'juice' | 1-gen-2013 | Arun, Lakhotia; DALLA PREDA, Mila; Giacobazzi, Roberto | |
Principles of POPL | 1-gen-2013 | Dreyer, Derek; Field, John; Giacobazzi, Roberto; Hicks, Michael; Jagannathan, Suresh; Sagiv, Mooly; Sewell, Peter; Wadler, Philip | |
Correctness Kernels of Abstract Interpretations | 1-gen-2014 | Giacobazzi, Roberto; Ranzato, F. | |
Analyzing program dependences for malware detection. | 1-gen-2014 | DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto | |
Obscuring Code - Unveiling and Veiling Information in Programs. | 1-gen-2014 | Giacobazzi, Roberto | |
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables | 1-gen-2015 | DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella |
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