TgraphSpot: Fast and Effective Anomaly Detection for Time-Evolving Graphs. - Mirela T. Cazzolato; Saranya Vijayakumar; Xinyi Zheng; Namyong Park; Meng-Chieh Lee; Pedro Fidalgo; Bruno Lages; Agma J. M. Traina; Christos Faloutsos (IEEE Big Data, 2022)

TgrApp: Anomaly Detection and Visualization of Large-Scale Call Graphs. - Mirela T. Cazzolato; Saranya Vijayakumar; Xinyi Zheng; Namyong Park; Meng-Chieh Lee; Duen Horng Chau; Pedro Fidalgo; Bruno Lages; Agma J. M. Traina; Christos Faloutsos (AAAI, 2023)

CallMine: Fraud Detection and Visualization of Million-Scale Call Graphs. - Mirela Teixeira Cazzolato; Saranya Vijayakumar; Meng-Chieh Lee; Catalina Vajiac; Namyong Park; Pedro Fidalgo; Agma J. M. Traina; Christos Faloutsos (CIKM, 2023)

Grounding Neural Inference with Satisfiability Modulo Theories. - Zifan Wang 001; Saranya Vijayakumar; Kaiji Lu; Vijay Ganesh 001; Somesh Jha; Matt Fredrikson (NeurIPS, 2023)

Learning Modulo Theories. - Matt Fredrikson; Kaiji Lu; Saranya Vijayakumar; Somesh Jha; Vijay Ganesh 001; Zifan Wang 001 (CoRR, 2023)

Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach. - Nils Palumbo; Ravi Mangal; Zifan Wang 001; Saranya Vijayakumar; Corina S. Pasareanu; Somesh Jha (CoRR, 2024)

Refusal-Trained LLMs Are Easily Jailbroken As Browser Agents. - Priyanshu Kumar; Elaine Lau; Saranya Vijayakumar; Tu Trinh; Scale Red Team; Elaine T. Chang; Vaughn Robinson; Sean Hendryx; Shuyan Zhou; Matt Fredrikson; Summer Yue; Zifan Wang 001 (CoRR, 2024)

Aligned LLMs Are Not Aligned Browser Agents. - Priyanshu Kumar; Elaine Lau; Saranya Vijayakumar; Tu Trinh; Elaine T. Chang; Vaughn Robinson; Shuyan Zhou; Matt Fredrikson; Sean M. Hendryx; Summer Yue; Zifan Wang 001 (ICLR, 2025)