Travelled to:1 × Germany
1 × India
1 × Italy
1 × Portugal
1 × Spain
1 × Sweden
1 × USA
3 × France
Collaborated with:R.Giacobazzi ∅ S.K.Debray M.Ceccato P.Tonella E.Visentini A.Lakhotia I.Mastroeni A.Majumdar M.Christodorescu S.Jha S.Giallorenzo I.Lanese J.Mauro M.Gabbrielli K.Coogan G.M.Townsend J.Nagra C.S.Collberg
Talks about:abstract (5) interpret (3) softwar (3) semant (3) symbol (2) obfusc (2) remot (2) code (2) base (2) choreograph (1)
Person: Mila Dalla Preda
DBLP: Preda:Mila_Dalla
Contributed to:
2015
2014
2010
200920082007
2007
2005
20052004Wrote 10 papers:
- POPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
- SLE-2014-PredaGLMG #adaptation #distributed #framework #named
- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
- SAS-2010-PredaGDCT #abstract interpretation #modelling #morphism
- Modelling Metamorphism by Abstract Interpretation (MDP, RG, SKD, KC, GMT), pp. 218–235.
- SAC-2009-CeccatoTPM #orthogonal
- Remote software protection by orthogonal client replacement (MC, PT, MDP, AM), pp. 448–455.
- SAS-2008-PredaGV
- Hiding Software Watermarks in Loop Structures (MDP, RG, EV), pp. 174–188.
- POPL-2007-PredaCJD #approach #detection #semantics
- A semantics-based approach to malware detection (MDP, MC, SJ, SKD), pp. 377–388.
- SCAM-2007-CeccatoPNCT #slicing
- Barrier Slicing for Remote Software Trusting (MC, MDP, JN, CSC, PT), pp. 27–36.
- ICALP-2005-PredaG #abstract interpretation #obfuscation #semantics
- Semantic-Based Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 1325–1336.
- SEFM-2005-PredaG #abstract interpretation #obfuscation
- Control Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 301–310.
- SAS-2004-Preda #evaluation #refinement
- Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.