research
∙
03/08/2023
An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews"
This paper presents a novel framework that utilizes Natural Language Pro...
share
research
∙
06/04/2020
Twinning automata and regular expressions for string static analysis
In this paper we formalize and prove the soundness of Tarsis, a new abst...
research
∙
08/14/2019
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems
Distribution Service (DDS) is a realtime peer-to-peer protocol that serv...
research
∙
10/18/2018