We are hiring a postdoctoral researcher to look into verified secure systems. The researcher would build a trusted execution engine by leveraging the isolation guarantees provided by the sel4 microkernel. The project would further propose attestation schemes that can run…
Research Grant
We’ve been awarded a research grant worth £200k for a proposal titled FaCT: Faithful Composition of Trust. Details to follow.
Appointment
I have started as a Lecturer at the Computer Science department at the University of Surrey. We have a strong presence in cybersecurity and machine learning. Please reach out to me if you would like to be a part of…
Paper at ESEC/FSE 2018
Our work titled “RefiNym: Using Names To Refine Types” has been accepted at Foundations of Software Engineering (FSE) 2018. RefiNym uses signal from identifier names and interflows between them to identify types for identifiers. The paper is available here and…
Paper at Usenix Security Symposium
Our work on detecting concept drift in malware classification models titled “Transcend: Detecting Concept Drift in Malware Classification Models” has been accepted at Usenix Security Symposium 2017. Concept drift in malware classification is a serious issue whereby models trained on older…