Identifying collusion groups using spectral clustering. - Suneel Sarswat; Kandathil Mathew Abraham; Subir Kumar Ghosh (CoRR, 2015)

Formal verification of trading in financial markets. - Suneel Sarswat; Abhishek Kr Singh (CoRR, 2019)

Formally Verified Trades in Financial Markets. - Suneel Sarswat; Abhishek Kr Singh (ICFEM, 2020)

Verified Double Sided Auctions for Financial Markets. - Raja Natarajan; Suneel Sarswat; Abhishek Kr Singh (ITP, 2021)

The Design and Regulation of Exchanges: A Formal Approach. - Mohit Garg 003; Suneel Sarswat (FSTTCS, 2022)

Efficient and Verified Continuous Double Auctions. - Mohit Garg 003; Suneel Sarswat (LPAR Complementary Volume, 2024)

The Exchange Problem. - Mohit Garg 003; Suneel Sarswat (CoRR, 2024)

Double Auctions: Formalization and Automated Checkers. - Mohit Garg 003; N. Raja 001; Suneel Sarswat; Abhishek Kr Singh (J. Autom. Reason., 2025)