E-LIB Suche - Ergebnisse für: Dalla Preda, Mila

1

Computer Security. ESORICS 2023 International Workshops: CP..

Lecture Notes in Computer Science, 14399

Katsikas, Sokratis ; Abie, Habtamu ; Ranise, Silvio... - 1st ed. 2024 . , 2024

2

Monotonicity and the Precision of Program Analysis:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1629-1662 , 2024

Link: https://doi.org/10.1145/..

3

Towards Obfuscation of Programmable Logic Controllers:

, In: Proceedings of the 18th International Conference on Availability, Reliability and Security,

Cozza, Vittoria ; Dalla Preda, Mila ; Lucchese, Marco.. - p. 1-10 , 2023

Link: https://dl.acm.org/doi/1..

4

A Formal Framework to Measure the Incompleteness of Abstrac..:

, In: Static Analysis; Lecture Notes in Computer Science,

Campion, Marco ; Urban, Caterina ; Dalla Preda, Mila. - p. 114-138 , 2023

Link: https://doi.org/10.1007/..

5

Exploiting number theory for dynamic software watermarking:

Dalla Preda, Mila ; Ianni, Michele
Journal of Computer Virology and Hacking Techniques. 20 (2023) 1 - p. 41-51 , 2023

Link: https://doi.org/10.1007/..

6

Dataset Characteristics for Reliable Code Authorship Attrib..:

Abazari, Farzaneh ; Branca, Enrico ; Ridley, Norah..
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 1 - p. 506-521 , 2023

Link: https://doi.org/10.1109/..

7

Exploring NFT Validation through Digital Watermarking:

, In: Proceedings of the 18th International Conference on Availability, Reliability and Security,

Dalla Preda, Mila ; Masaia, Francesco - p. 1-6 , 2023

Link: https://dl.acm.org/doi/1..

8

Enhancing Ethereum smart-contracts static analysis by compu..:

Pasqua, Michele ; Benini, Andrea ; Contro, Filippo...
Journal of Systems and Software. 200 (2023) - p. 111653 , 2023

Link: https://doi.org/10.1016/..

9

Partial (In)Completeness in abstract interpretation: limiti..:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://doi.org/10.1145/..

10

Partial (In)Completeness in abstract interpretation: limiti..:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://dl.acm.org/doi/1..

11

Learning metamorphic malware signatures from samples:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto
Journal of Computer Virology and Hacking Techniques. 17 (2021) 3 - p. 167-183 , 2021

Link: https://doi.org/10.1007/..

12

Data augmentation and transfer learning to classify malware..:

Marastoni, Niccolò ; Giacobazzi, Roberto ; Dalla Preda, Mila
Journal of Computer Virology and Hacking Techniques. 17 (2021) 4 - p. 279-297 , 2021

Link: https://doi.org/10.1007/..

13

Formal Framework for Reasoning About the Precision of Dynam..:

, In: Static Analysis; Lecture Notes in Computer Science,

Dalla Preda, Mila ; Giacobazzi, Roberto ; Marastoni, Niccoló - p. 178-199 , 2020

Link: https://doi.org/10.1007/..

14

Abstract Interpretation of Indexed Grammars:

, In: Static Analysis; Lecture Notes in Computer Science,

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto - p. 121-139 , 2019

Link: https://doi.org/10.1007/..

15

Adversarial Authorship Attribution in Open-Source Projects:

, In: Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy,

Matyukhina, Alina ; Stakhanova, Natalia ; Dalla Preda, Mila. - p. 291-302 , 2019

Link: https://dl.acm.org/doi/1..