1 citations · 1 across the 2 of their papers we have counts for
4 papers
The Design and Regulation of Exchanges: A Formal Approach
Mohit Garg, Suneel Sarswat
We use formal methods to specify, design, and monitor continuous double auctions, which are widely used to match buyers and sellers at exchanges of foreign currencies, stocks, and…
Verified Double Sided Auctions for Financial Markets
Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh
Double sided auctions are widely used in financial markets to match demand and supply. Prior works on double sided auctions have focused primarily on single quantity trade requests…
Formally Verified Trades in Financial Markets
Suneel Sarswat, Abhishek Kr Singh
We introduce a formal framework for analyzing trades in financial markets. These days, all big exchanges use computer algorithms to match buy and sell requests and these algorithms…
Formal verification of trading in financial markets
Suneel Sarswat, Abhishek Kr Singh
We introduce a formal framework for analyzing trades in financial markets. An exchange is where multiple buyers and sellers participate to trade. These days, all big exchanges use…