About

I am a Senior Lecturer in the Department of Computer Science at University of Surrey. My research interests are in Secure Software Engineering, specifically automatic analysis and transformation of software.

I work on open-source software as well as binaries and have published my work in flagship venues across Software Engineering and Security such as ICSE, FSE and Usenix Security. I am funded and trained by the UK Research Councils through their New Investigator Award and Future Leaders Pathways programme.

Selected Publications

Raffa G; Blasco J; O'Keeffe D; Dash S K: CloudFlow: Identifying Security-sensitive Data Flows in Serverless Applications. Usenix Security 2025, Forthcoming. (Type: Conference | BibTeX)
Tileria M; Blasco J; Dash S K: DocFlow: Extracting Taint Specifications from Software Documentation. In: Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, pp. 61:1–61:12, ACM, 2024. (Type: Inproceedings | Links | BibTeX)
Pârtachi P; Dash S K; Allamanis M; Barr E T: Flexeme: Untangling Commits Using Lexical Flows. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE '20 ACM, 2020. (Type: Conference | Links | BibTeX)
Pârtachi P; Dash S K; Treude C; Barr E T: POSIT: Simultaneously Tagging Natural and Programming Languages. ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, ACM, 2020. (Type: Conference | Links | BibTeX)
Dash S K; Allamanis M; Barr E T: RefiNym: Using Names to Refine Types. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE'18 2018. (Type: Conference | BibTeX)
Jordaney R; Sharad K; Dash S K; Wang Z; Papini D; Nouretdinov I; Cavallaro L: Transcend: Detecting Concept Drift in Malware Classification Models. 26th USENIX Security Symposium (USENIX Security 17), USENIX Association, 2017. (Type: Conference | BibTeX)