The Software and System Verification group @ Ca’ Foscari University of Venice is a research team focused on static analysis and its applications.
- New paper on GoLiSA applied to the static analysis of blockchain application published at SOAP 2022!
- New paper on static analysis of machine learning model accepted by the Journal of Computer Security!
- New paper published in Journal “Expert Systems with Applications”
- New paper published in Sensors Journal
- Chapter published in “Security in IoT”