Mila Dalla Preda Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi: Interface-Based Service Composition with Aggregation. ESOCC 2012: 48-63
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia: Twisting Additivity in Program Obfuscation. ICISTM 2012: 336-347
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda: The Grand Challenge in Metamorphic Analysis. ICISTM 2012: 439-444
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi: Service integration via target-transparent mediation. SOCA 2012: 1-5
2011
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Cinzia Di Giusto: Hunting Distributed Malware with the κ-Calculus. FCT 2011: 102-113
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro: Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600
2010
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend: Modelling Metamorphism by Abstract Interpretation. SAS 2010: 218-235
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella: Trading-off security and performance in barrier slicing for remote software entrusting. Autom. Softw. Eng. 16(2): 235-261 (2009)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Roberto Giacobazzi: Semantics-based code obfuscation by abstract interpretation. Journal of Computer Security 17(6): 855-908 (2009)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mariano Ceccato, Paolo Tonella, Mila Dalla Preda, Anirban Majumdar: Remote software protection by orthogonal client replacement. SAC 2009: 448-455
2008
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. 30(5) (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini: Hiding Software Watermarks in Loop Structures. SAS 2008: 174-188
2007
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. POPL 2007: 377-388
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella: Barrier Slicing for Remote Software Trusting. SCAM 2007: 27-36
2006
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi: Opaque Predicates Detection by Abstract Interpretation. AMAST 2006: 81-95
2005
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Roberto Giacobazzi: Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP 2005: 1325-1336
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Roberto Giacobazzi: Control Code Obfuscation by Abstract Interpretation. SEFM 2005: 301-310
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda: Completeness Refinement in Abstract Symbolic Trajectory Evaluation. SAS 2004: 38-52

Coauthor Index

1Koen De Bosschere (Koenraad De Bosschere)
[c4]
2Mariano Ceccato
[j3] [c8] [c5]
3Mihai Christodorescu
[j1] [c6]
4Christian S. Collberg
[j3] [c5]
5Kevin Coogan
[c9]
6Saumya K. Debray
[c9] [j1] [c6]
7Wu Feng
[c14]
8Maurizio Gabbrielli
[c15] [c12] [c10]
9Roberto Giacobazzi
[c14] [c9] [j2] [c7] [c4] [c3] [c2]
10Cinzia Di Giusto
[c11]
11Richard Greechie
[c14]
12Claudio Guidi
[c15] [c12]
13Somesh Jha
[j1] [c6]
14Arun Lakhotia
[c14]
15Ivan Lanese
[c10]
16Matias Madou
[c4]
17Anirban Majumdar
[c8]
18Jacopo Mauro
[c15] [c12] [c10]
19Fabrizio Montesi
[c15] [c12]
20Jasvir Nagra
[j3] [c5]
21Paolo Tonella
[j3] [c8] [c5]
22Gregg M. Townsend
[c9]
23Enrico Visentini
[c7]
24Gianluigi Zavattaro
[c10]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 14:25:12 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page