Salsa: Static Analysis of Serialization Features

Salsa: Static Analysis of Serialization Features

Jan 1, 2020. | By: Joanna C. S. Santos

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.

Related Links

BibTeX

@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}
}

About

Security and Software Engineering Lab at University of Notre Dame, Notre Dame, IN USA 46556

twitter github

Where We Are

University of Notre Dame
College of Engineering
382 Fitzpatrick Hall
Notre Dame, IN 46556