



Selected Works
Automated black‐box testing of nominal and error scenarios in RESTful APIs
Corradini, D., Zampieri A., Pasqua, M., Viglianisi E., Dallago M. and Ceccato, M.
In: Software Testing Verification and Reliability (pp. 1–33), John Wiley & Sons, 2022, DOI: https://doi.org/10.1002/stvr.1808
REST API
· Black-box testing
· Automated test case generation
A Calculus for Attribute-based Memory Updates
Miculan, M. and Pasqua, M.
In: Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (pp. 366–385), Springer International Publishing, 2021, DOI: https://doi.org/10.1007/978-3-030-85315-0_21
ECA rules
· Attribute-based communication
· Distributed systems
· Autonomic computing
Friendly Fire: Cross-App Interactions in IoT Platforms
Balliu, M., Merro, M., Pasqua, M. and Shcherbakov, M.
In: ACM Transactions on Privacy and Security (pp. 1–40), Association for Computing Machinery, 2021, DOI: https://doi.org/10.1145/3444963
Cloud-based IoT platform
· IoT application security
· Cross-app interference
Statically Analyzing Information Flows
An Abstract Interpretation-based Hyperanalysis for Non-Interference
Mastroeni, I. and Pasqua, M.
In: Proceedings of the 34th SIGAPP Symposium On Applied Computing (pp. 2215–2223), Association for Computing Machinery, 2019, DOI: https://doi.org/10.1145/3297280.3297498
Static analysis
· Abstract interpretation
· Hyperproperties
· Non-interference
An abstract domain for objects in dynamic programming languages
Arceri, V., Pasqua, M. and Mastroeni, I.
In: Proceedings of the Formal Methods 2019 International Workshops (pp. 136–151), Springer International Publishing, 2019, DOI: https://doi.org/10.1007/978-3-030-54997-8_9
Dynamic languages
· Abstract interpretation
· Objects
· Automata domain
Semantics-based Software Watermarking by Abstract Interpretation
Dalla Preda, M. and Pasqua, M.
In: Mathematical Structures in Computer Science (pp. 339–388), Cambridge University Press, 2018, DOI: https://doi.org/10.1017/S0960129518000038
Software watermarking
· Abstract interpretation
· Completeness
Verifying Bounded Subset-Closed Hyperproperties
Mastroeni, I. and Pasqua, M.
In: Proceedings of the 25th Static Analysis International Symposium (pp. 263–283), Springer International Publishing, 2018, DOI: https://doi.org/10.1007/978-3-319-99725-4_17
Hyperproperties
· Collecting hypersemantics
· Abstract interpretation
· Verification
Hyperhierarchy of Semantics
A Formal Framework for Hyperproperties Verification
Mastroeni, I. and Pasqua, M.
In: Proceedings of the 24th Static Analysis International Symposium (pp. 232–252), Springer International Publishing, 2017, DOI: https://doi.org/10.1007/978-3-319-66706-5_12
Hyperproperties
· Abstract interpretation
· Hypersemantics
· Verification