2 papers
cs.NI2024
Superflows: A New Tool for Forensic Network Flow Analysis
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh +3
Network security analysts gather data from diverse sources, from high-level summaries of network flow and traffic volumes to low-level details such as service logs from servers and…
cs.PL2023
Data-Driven Template-Free Invariant Generation
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman +1
Automatic verification of concurrent programs faces state explosion due to the exponential possible interleavings of its sequential components coupled with large or infinite state…