Our work, “Salsa: Static Analysis of Serialization Features”, was published in 22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs.
Publication details, authors, citation information, and available resources are provided below.
@InProceedings{santos2020salsa,
author = {Joanna C. S. Santos and Reese A. Jones and Mehdi Mirakhorli},
title = {Salsa: Static Analysis of Serialization Features},
booktitle = {Proceedings of the 22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (FTfJP '20)},
publisher = {ACM},
pages = {18--25},
doi = {10.1145/3427761.3428343},
year = {2020}
}
Subscribe to this blog via RSS.
Paper 37
Research 37
Tool 2
Llm 10
Dataset 2
Survey 1
InstruMate: A Systematic Framework for Assessing Android App Repackaging Resilience
Posted on 01 Jan 2026Paper (37) Research (37) Tool (2) Llm (10) Dataset (2) Qualitative-analysis (1) Survey (1)