Corrado Aaron Visaggio

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Vittoria Nardone

> Home > Persons > Corrado Aaron Visaggio

Publications

2019
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/CanforaMMNSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/CanforaMMNSV19
Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45(12): 1230-1252 (2019)
2018
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/CimitileMNSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/CimitileMNSV18
Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. 17(6): 719-738 (2018)
2017
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/NardoneV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/NardoneV17
Vittoria Nardone, Corrado Aaron Visaggio:
"Mirror, Mirror on the Wall, Who is the Fairest One of All?" - Machine Learning versus Model Checking: A Comparison between Two Static Techniques for Malware Family Identification. ICISSP 2017: 663-672
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/MartinelliMNSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/MartinelliMNSV17
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682
2016
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/MercaldoNSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MercaldoNSV16
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE 2016: 212-221
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/BattistaMNSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/BattistaMNSV16
Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identification of Android Malware Families with Model Checking. ICISSP 2016: 542-547
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MercaldoNSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MercaldoNSV16
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE 2016: 22-28
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/MercaldoNSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/MercaldoNSV16
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Hey Malware, I Can Find You! WETICE 2016: 261-262

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.