Transforming Normal Programs by Replacement. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle (META, 1992)

On Safe Folding. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle (PLILP, 1992)

On the Unification Free Prolog Programs. - Krzysztof R. Apt; Sandro Etalle (MFCS, 1993)

Modular Transformations of CLP Programs. - Sandro Etalle; Maurizio Gabbrielli (GULP-PRODE (1), 1994)

More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. - Annalisa Bossi; Sandro Etalle (META, 1994)

Transforming Acyclic Programs. - Annalisa Bossi; Sandro Etalle (ACM Trans. Program. Lang. Syst., 1994)

A Transformation System for Modular CLP Programs. - Sandro Etalle; Maurizio Gabbrielli (ICLP, 1995)

Transformation of Left Terminating Programs: the Reordering Problem. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle (LOPSTR, 1995)

The Replacement Operation for CLP Modules. - Sandro Etalle; Maurizio Gabbrielli (PEPM, 1995)

A Compositional Semantics for Normal Open Programs. - Sandro Etalle; Frank Teusink (JICSLP, 1996)

On the Correctness of the Replacement Operation for CLP Modules. - Sandro Etalle; Maurizio Gabbrielli (J. Funct. Log. Program., 1996)

Unification-free Prolog programs revisited. - Sandro Etalle (J. Program. Lang., 1996)

Simultaneous Replacement in Normal Programs. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle (J. Log. Comput., 1996)

Transformations of CLP Modules. - Sandro Etalle; Maurizio Gabbrielli (Theor. Comput. Sci., 1996)

A Transformation System for CLP with Dynamic Scheduling and CCP. - Sandro Etalle; Maurizio Gabbrielli; Elena Marchiori (PEPM, 1997)

Unfold/Fold Transformations of CCP Programs. - Sandro Etalle; Maurizio Gabbrielli; Maria Chiara Meo (CONCUR, 1998)

Beyond Success and Failure. - Sandro Etalle; Femke van Raamsdonk (IJCSLP, 1998)

Partial Evaluation of Concurrent Constraint Languages. - Sandro Etalle; Maurizio Gabbrielli (ACM Comput. Surv., 1998)

A Semantics for Modular General Logic Programs. - Sandro Etalle (Theor. Comput. Sci., 1998)

The Replacement Operation for CCP Programs. - Marco Bertolino; Sandro Etalle; Catuscia Palamidessi (APPIA-GULP-PRODE, 1999)

Logic Programming with Requests. - Sandro Etalle; Femke van Raamsdonk (ICLP, 1999)

Transformation of Left Terminating Programs. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle (LOPSTR, 1999)

Termination of Well-Moded Programs. - Sandro Etalle; Annalisa Bossi; Nicoletta Cocco (J. Log. Program., 1999)

Layered Modes. - Sandro Etalle; Maurizio Gabbrielli (J. Log. Program., 1999)

Declarative solutions to partitioned-grid problems. - Sandro Etalle; Pieter H. Hartel; Willem G. Vree (Softw. Pract. Exp., 1999)

Preface - Workshop on Verification of Logic Programs. - Sandro Etalle; Jan-Georg Smaus (Verification of Logic Programs@ICLP, 1999)

Semantics of Input-Consuming Logic Programs. - Annalisa Bossi; Sandro Etalle; Sabina Rossi (Computational Logic, 2000)

The lazy functional side of logic programming. - Sandro Etalle; Jon Mountjoy (LOPSTR, 2000)

Semantics of well-moded input-consuming logic programs. - Annalisa Bossi; Sandro Etalle; Sabina Rossi (Comput. Lang., 2000)

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. - Annalisa Bossi; Sandro Etalle; Sabina Rossi; Jan-Georg Smaus (ESOP, 2001)

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. - Giorgio Delzanno; Sandro Etalle (LOPSTR, 2001)

Transformations of CCP programs. - Sandro Etalle; Maurizio Gabbrielli; Maria Chiara Meo (ACM Trans. Program. Lang. Syst., 2001)

Transformation Systems and Nondeclarative Properties. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle (Computational Logic: Logic Programming and Beyond, 2002)

An Improved Constraint-Based System for the Verification of Security Protocols. - Ricardo Corin; Sandro Etalle (SAS, 2002)

On modular termination proofs of general logic programs. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle; Sabina Rossi (Theory Pract. Log. Program., 2002)

Properties of input-consuming derivations. - Annalisa Bossi; Sandro Etalle; Sabina Rossi (Theory Pract. Log. Program., 2002)

Approximating Fair Use in LicenseScript. - Cheun Ngen Chong; Sandro Etalle; Pieter H. Hartel; Yee Wei Law (ICADL, 2003)

LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. - Roberto Di Pietro; Luigi V. Mancini; Yee Wei Law; Sandro Etalle; Paul J. M. Havinga (ICPP Workshops, 2003)

EYES - Energy Efficient Sensor Networks. - Paul J. M. Havinga; Sandro Etalle; Holger Karl; Chiara Petrioli; Michele Zorzi; Harry Kip; Thomas Lentsch (PWC, 2003)

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. - Yee Wei Law; Ricardo Corin; Sandro Etalle; Pieter H. Hartel (PWC, 2003)

Comparing Logic-Based and XML-Based Rights Expression Languages. - Cheun Ngen Chong; Sandro Etalle; Pieter H. Hartel (OTM Workshops, 2003)

Assessing Security in Energy-Efficient Sensor Networks. - Yee Wei Law; Sandro Etalle; Pieter H. Hartel (SEC, 2003)

LicenseScript: a novel digital rights language and its semantics. - Cheun Ngen Chong; Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Willem Jonker; Yee Wei Law (WEDELMUSIC, 2003)

A Trace Logic for Local Security Properties. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Antonio Durante (SVV@ICLP, 2003)

Preface. - Sandro Etalle; Supratik Mukhopadhyay; Abhik Roychoudhury (SVV@ICLP, 2003)

Modelling Mobility Aspects of Security Policies. - Pieter H. Hartel; Pascal van Eck; Sandro Etalle; Roel J. Wieringa (CASSIS, 2004)

Timed model checking of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (FMSE, 2004)

A Logic for Auditing Accountability in Decentralized Systems. - Ricardo Corin; Sandro Etalle; J. I. den Hartog; Gabriele Lenzini; I. Staicu (Formal Aspects in Security and Trust, 2004)

Declarative Semantics of Input Consuming Logic Programs. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle; Sabina Rossi (Program Development in Computational Logic, 2004)

License Protection with a Tamper-Resistant Token. - Cheun Ngen Chong; Bin Ren; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Ricardo Corin (WISA, 2004)

Analysing Password Protocol Security Against Off-line Dictionary Attacks. - Ricardo Corin; Jeroen Doumen; Sandro Etalle (WISP@ICATPN, 2004)

Termination of simply moded logic programs with dynamic scheduling. - Annalisa Bossi; Sandro Etalle; Sabina Rossi; Jan-Georg Smaus (ACM Trans. Comput. Log., 2004)

A Formal Security Analysis of an OSA/Parlay Authentication Interface. - Ricardo Corin; Gaetano Di Caprio; Sandro Etalle; Stefania Gnesi; Gabriele Lenzini; Corrado Moiso (FMOODS, 2005)

Service Brokerage in Prolog. - Cheun Ngen Chong; Sandro Etalle; Pieter H. Hartel; Rieks Joosten; Geert Kleinhuis (ICEIS (3), 2005)

PS-LTL for Constraint-Based Security Protocol Analysis. - Ricardo Corin; Ari Saptawijaya; Sandro Etalle (ICLP, 2005)

An Audit Logic for Accountability. - J. G. Cederquist; Ricardo Corin; M. A. C. Dekker; Sandro Etalle; J. I. den Hartog (POLICY, 2005)

Integrity constraints in trust management. - Sandro Etalle; William H. Winsborough (SACMAT, 2005)

StreamTo: Streaming Content using a Tamper-Resistant Token. - Jieyin Cheng; Cheun Ngen Chong; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Stefan Nikolaus (SEC, 2005)

Poseidon: a 2-tier Anomaly-based Intrusion Detection System - Damiano Bolzoni; Emmanuele Zambon; Sandro Etalle; Pieter H. Hartel (CoRR, 2005)

Nonmonotonic Trust Management for P2P Applications. - Marcin Czenko; Ha Tran; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Jerry den Hartog (STM, 2005)

POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. - Damiano Bolzoni; Sandro Etalle; Pieter H. Hartel; Emmanuele Zambon (IWIA, 2006)

A Logic for Constraint-based Security Protocol Analysis. - Ricardo Corin; Sandro Etalle; Ari Saptawijaya (S&P, 2006)

LicenseScript: a logical language for digital rights management. - Cheun Ngen Chong; Ricardo Corin; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Yee Wei Law; Andrew Tokmakoff (Ann. des Télécommunications, 2006)

APHRODITE: an Anomaly-based Architecture for False Positive Reduction - Damiano Bolzoni; Sandro Etalle (CoRR, 2006)

Audit-Based Access Control for Electronic Health Records. - M. A. C. Dekker; Sandro Etalle (VODCA@FOSAD, 2006)

Preface. - Sandro Etalle; Pierangela Samarati (STM, 2006)

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. - Giorgio Delzanno; Sandro Etalle; Maurizio Gabbrielli (Theory Pract. Log. Program., 2006)

Privacy Policies. - Marnix Dekker; Sandro Etalle; Jerry den Hartog (Security, Privacy, and Trust in Modern Data Management, 2007)

Trust and punishment. - Sandro Etalle; Jerry den Hartog; Stephen Marsh 001 (Autonomics, 2007)

Model-Based Mitigation of Availability Risks. - Emmanuele Zambon; Damiano Bolzoni; Sandro Etalle; Marco Salvato (BDIM, 2007)

Extended privilege inheritance in RBAC. - M. A. C. Dekker; J. G. Cederquist; Jason Crampton; Sandro Etalle (AsiaCCS, 2007)

An Introduction to the Role Based Trust Management Framework RT. - Marcin Czenko; Sandro Etalle; Dongyi Li; William H. Winsborough (FOSAD, 2007)

Core TuLiP Logic Programming for Trust Management. - Marcin Czenko; Sandro Etalle (ICLP, 2007)

ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems. - Damiano Bolzoni; Bruno Crispo; Sandro Etalle (LISA, 2007)

A posteriori compliance control. - Sandro Etalle; William H. Winsborough (SACMAT, 2007)

Refinement for Administrative Policies. - M. A. C. Dekker; Sandro Etalle (Secure Data Management, 2007)

The Meaning of Logs. - Sandro Etalle; Fabio Massacci; Artsiom Yautsiukhin (TrustBus, 2007)

Audit-based compliance control. - J. G. Cederquist; Ricardo Corin; M. A. C. Dekker; Sandro Etalle; J. I. den Hartog; Gabriele Lenzini (Int. J. Inf. Sec., 2007)

Timed analysis of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (J. Comput. Secur., 2007)

IT confidentiality risk assessment for an architecture-based approach. - Ayse Morali; Emmanuele Zambon; Sandro Etalle; Paul L. O. Re (BDIM, 2008)

Know What You Trust. - Fred Spiessens; Jerry den Hartog; Sandro Etalle (Formal Aspects in Security and Trust, 2008)

Trust Management in P2P Systems Using Standard TuLiP. - Marcin Czenko; Jeroen Doumen; Sandro Etalle (IFIPTM, 2008)

Boosting Web Intrusion Detection Systems by Inferring Positive Signatures. - Damiano Bolzoni; Sandro Etalle (OTM Conferences (2), 2008)

RBAC administration in distributed systems. - M. A. C. Dekker; Jason Crampton; Sandro Etalle (SACMAT, 2008)

Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control. - Daniel Trivellato; Fred Spiessens; Nicola Zannone; Sandro Etalle (CSE (3), 2009)

Extended eTVRA vs. security checklist: Experiences in a value-web. - Ayse Morali; Emmanuele Zambon; Siv Hilde Houmb; Karin Sallhammar; Sandro Etalle (ICSE Companion, 2009)

LP with Flexible Grouping and Aggregates Using Modes. - Marcin Czenko; Sandro Etalle (LOPSTR, 2009)

POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy. - Daniel Trivellato; Fred Spiessens; Nicola Zannone; Sandro Etalle (POLICY, 2009)

Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. - Damiano Bolzoni; Sandro Etalle; Pieter H. Hartel (RAID, 2009)

Maintaining control while delegating trust: Integrity constraints in trust management. - Sandro Etalle; William H. Winsborough (ACM Trans. Inf. Syst. Secur., 2009)

CRAC: Confidentiality risk assessment and IT-infrastructure comparison. - Ayse Morali; Emmanuele Zambon; Sandro Etalle; Roel J. Wieringa (CNSM, 2010)

10141 Abstracts Collection - Distributed Usage Control. - Sandro Etalle; Alexander Pretschner; Ravi S. Sandhu; Marianne Winslett (Distributed Usage Control, 2010)

10141 Summary - Distributed Usage Control. - Sandro Etalle; Alexander Pretschner; Ravi S. Sandhu; Marianne Winslett (Distributed Usage Control, 2010)

Towards Data Protection Compliance. - Nicola Zannone; Milan Petkovic; Sandro Etalle (SECRYPT, 2010)

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. - Bruno P. S. Rocha; Sruthi Bandhakavi; Jerry den Hartog; William H. Winsborough; Sandro Etalle (IEEE Symposium on Security and Privacy, 2010)

A Flexible Architecture for Privacy-Aware Trust Management. - Klemens Böhm; Sandro Etalle; Jerry den Hartog; Christian Hütter 001; Slim Trabelsi; Daniel Trivellato; Nicola Zannone (J. Theor. Appl. Electron. Commer. Res., 2010)

Risk and Business Goal Based Security Requirement and Countermeasure Prioritization. - Andrea Herrmann 001; Ayse Morali; Sandro Etalle; Roel J. Wieringa (BIR Workshops, 2011)

Poster: protecting information in systems of systems. - Daniel Trivellato; Nicola Zannone; Sandro Etalle (CCS, 2011)

MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures. - Dina Hadziosmanovic; Damiano Bolzoni; Pieter H. Hartel; Sandro Etalle (EC2ND, 2011)

A new method to assess telecom service availability risks. - Eelco Vriezekolk; Roel J. Wieringa; Sandro Etalle (ISCRAM, 2011)

A Cuckoo's Egg in the Malware Nest: On-the-fly Signature-less Malware Analysis, Detection, and Containment for Large Networks. - Damiano Bolzoni; Christiaan Schade; Sandro Etalle (LISA, 2011)

A Security Framework for Systems of Systems. - Daniel Trivellato; Nicola Zannone; Sandro Etalle (POLICY, 2011)

Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". - Lujo Bauer; Sandro Etalle; Jerry den Hartog; Luca Viganò 001 (J. Autom. Reason., 2011)

Model-based qualitative risk assessment for availability of IT infrastructures. - Emmanuele Zambon; Sandro Etalle; Roel J. Wieringa; Pieter H. Hartel (Softw. Syst. Model., 2011)

Challenges and opportunities in securing industrial control systems. - Dina Hadziosmanovic; Damiano Bolzoni; Sandro Etalle; Pieter H. Hartel (COMPENG, 2012)

Policy Administration in Tag-Based Authorization. - Sandro Etalle; Timothy L. Hinrichs; Adam J. Lee; Daniel Trivellato; Nicola Zannone (FPS, 2012)

Design and initial validation ofthe Rastermethod for telecom service availability risk assessment. - Eelco Vriezekolk; Roel J. Wieringa; Sandro Etalle (ISCRAM, 2012)

N-Gram against the Machine: On the Feasibility of the N-Gram Network Analysis for Binary Protocols. - Dina Hadziosmanovic; Lorenzo Simionato; Damiano Bolzoni; Emmanuele Zambon; Sandro Etalle (RAID, 2012)

Linking Unlinkability. - Mayla Brusò; Konstantinos Chatzikokolakis 001; Sandro Etalle; Jerry den Hartog (TGC, 2012)

A2thOS: availability analysis and optimisation in SLAs. - Emmanuele Zambon; Sandro Etalle; Roel J. Wieringa (Int. J. Netw. Manag., 2012)

The POLIPO Security Framework. - Daniel Trivellato; Sandro Etalle; Erik Luit; Nicola Zannone (Situation Awareness with Systems of Systems, 2013)

Database Anomalous Activities - Detection and Quantification. - Elisa Costante; Sokratis Vavilis; Sandro Etalle; Jerry den Hartog; Milan Petkovic; Nicola Zannone (SECRYPT, 2013)

A Semantic Security Framework for Systems of Systems. - Daniel Trivellato; Nicola Zannone; Maurice Glaundrup; Jacek Skowronek; Sandro Etalle (Int. J. Cooperative Inf. Syst., 2013)

Hybrid Static-Runtime Information Flow and Declassification Enforcement. - Bruno P. S. Rocha; Mauro Conti; Sandro Etalle; Bruno Crispo (IEEE Trans. Inf. Forensics Secur., 2013)

Hunting the Unknown - White-Box Database Leakage Detection. - Elisa Costante; Jerry den Hartog; Milan Petkovic; Sandro Etalle; Mykola Pechenizkiy (DBSec, 2014)

On Emulation-Based Network Intrusion Detection Systems. - Ali Abbasi 002; Jos Wetzels; Wouter Bokslag; Emmanuele Zambon; Sandro Etalle (RAID, 2014)

Understanding Computer Security. - Sandro Etalle; Nicola Zannone (Frontiers ICT, 2014)

GEM: A distributed goal evaluation algorithm for trust management. - Daniel Trivellato; Nicola Zannone; Sandro Etalle (Theory Pract. Log. Program., 2014)

Validating the Raster Risk Assessment Method in Practice. - Eelco Vriezekolk; Sandro Etalle; Roel J. Wieringa (ISCRAM, 2015)

Experimental Validation of a Risk Assessment Method. - Eelco Vriezekolk; Sandro Etalle; Roel J. Wieringa (REFSQ, 2015)

Stealth Low-Level Manipulation of Programmable Logic Controllers I/O by Pin Control Exploitation. - Ali Abbasi 002; Majid Hashemi; Emmanuele Zambon; Sandro Etalle (CRITIS, 2016)

Towards Useful Anomaly Detection for Back Office Networks. - Ömer Yüksel; Jerry den Hartog; Sandro Etalle (ICISS, 2016)

Reading between the fields: practical, effective intrusion detection for industrial control systems. - Ömer Yüksel; Jerry den Hartog; Sandro Etalle (SAC, 2016)

A Hybrid Framework for Data Loss Prevention and Detection. - Elisa Costante; Davide Fauri; Sandro Etalle; Jerry den Hartog; Nicola Zannone (IEEE Symposium on Security and Privacy Workshops, 2016)

ECFI: Asynchronous Control Flow Integrity for Programmable Logic Controllers. - Ali Abbasi 002; Thorsten Holz; Emmanuele Zambon; Sandro Etalle (ACSAC, 2017)

From System Specification to Anomaly Detection (and back). - Davide Fauri; Daniel Ricardo dos Santos; Elisa Costante; Jerry den Hartog; Sandro Etalle; Stefano Tonetta (CPS-SPC@CCS, 2017)

From Intrusion Detection to Software Design. - Sandro Etalle (ESORICS (1), 2017)

mu Shield - Configurable Code-Reuse Attacks Mitigation For Embedded Systems. - Ali Abbasi 002; Jos Wetzels; Wouter Bokslag; Emmanuele Zambon; Sandro Etalle (NSS, 2017)

Towards Realistic Threat Modeling: Attack Commodification, Irrelevant Vulnerabilities, and Unrealistic Assumptions. - Luca Allodi; Sandro Etalle (SafeConfig@CCS, 2017)

Encryption in ICS networks: A blessing or a curse? - Davide Fauri; Bart de Wijs; Jerry den Hartog; Elisa Costante; Emmanuele Zambon; Sandro Etalle (SmartGridComm, 2017)

A white-box anomaly-based framework for database leakage detection. - Elisa Costante; Jerry den Hartog; Milan Petkovic; Sandro Etalle; Mykola Pechenizkiy (J. Inf. Secur. Appl., 2017)

Leveraging Semantics for Actionable Intrusion Detection in Building Automation Systems. - Davide Fauri; Michail Kapsalakis; Daniel Ricardo dos Santos; Elisa Costante; Jerry den Hartog; Sandro Etalle (CRITIS, 2018)

Behavior analysis in the medical sector: theory and practice. - Mahdi Alizadeh; Sander Peters; Sandro Etalle; Nicola Zannone (SAC, 2018)

Eventpad: Rapid Malware Analysis and Reverse Engineering using Visual Analytics. - Bram C. M. Cappers; Paulus N. Meessen; Sandro Etalle; Jarke J. van Wijk (VizSEC, 2018)

Network Monitoring of Industrial Control Systems: The Lessons of SecurityMatters. - Sandro Etalle (CPS-SPC@CCS, 2019)

Role Inference + Anomaly Detection = Situational Awareness in BACnet Networks. - Davide Fauri; Michail Kapsalakis; Daniel Ricardo dos Santos; Elisa Costante; Jerry den Hartog; Sandro Etalle (DIMVA, 2019)

Challenges in Designing Exploit Mitigations for Deeply Embedded Systems. - Ali Abbasi 002; Jos Wetzels; Thorsten Holz; Sandro Etalle (EuroS&P, 2019)

Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN. - Guillaume Dupont; Jerry den Hartog; Sandro Etalle; Alexios Lekidis (ICCVE, 2019)

A Survey of Network Intrusion Detection Systems for Controller Area Network. - Guillaume Dupont; Jerry den Hartog; Sandro Etalle; Alexios Lekidis (ICVES, 2019)

Network intrusion detection systems for in-vehicle network - Technical report. - Guillaume Dupont; Jerry den Hartog; Sandro Etalle; Alexios Lekidis (CoRR, 2019)

A Matter of Life and Death: Analyzing the Security of Healthcare Networks. - Guillaume Dupont; Daniel Ricardo dos Santos; Elisa Costante; Jerry den Hartog; Sandro Etalle (SEC, 2020)

Similarity-Based Clustering For IoT Device Classification. - Guillaume Dupont; Cristoffer Leite; Daniel Ricardo dos Santos; Elisa Costante; Jerry den Hartog; Sandro Etalle (COINS, 2021)

You Can't Protect What You Don't Understand: Characterizing an Operational Gas SCADA Network. - Xi Qin; Martin Rosso; Alvaro A. Cárdenas; Sandro Etalle; Jerry den Hartog; Emmanuele Zambon (SP (Workshops), 2022)

Demonstration of new attacks on three healthcare network protocols in a lab environment. - Guillaume Dupont; Daniel Ricardo dos Santos; Stanislav Dashevskyi; Sangavi Vijayakumar; Sashaank P. Murali; Elisa Costante; Jerry den Hartog; Sandro Etalle (J. Comput. Virol. Hacking Tech., 2024)