Suneel Sarswat

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 10

Top Topics

Financial Markets

Top Venues

LPAR Complementary Volume

Publications

Mohit Garg, Suneel Sarswat
The Exchange Problem. CoRR (2024)
Mohit Garg, Suneel Sarswat
Efficient and Verified Continuous Double Auctions. LPAR Complementary Volume (2024)
Mohit Garg, Suneel Sarswat
The Design and Regulation of Exchanges: A Formal Approach. FSTTCS (2022)
Mohit Garg, Suneel Sarswat
The Design and Regulation of Exchanges: A Formal Approach. CoRR (2022)
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Verified Double Sided Auctions for Financial Markets. CoRR (2021)
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Verified Double Sided Auctions for Financial Markets. ITP (2021)
Suneel Sarswat, Abhishek Kr Singh
Formally Verified Trades in Financial Markets. ICFEM (2020)
Suneel Sarswat, Abhishek Kr Singh
Formally Verified Trades in Financial Markets. CoRR (2020)
Suneel Sarswat, Abhishek Kr Singh
Formal verification of trading in financial markets. CoRR (2019)
Suneel Sarswat, Kandathil Mathew Abraham, Subir Kumar Ghosh
Identifying collusion groups using spectral clustering. CoRR (2015)