2 citations · 5 across the 6 of their papers we have counts for
5 papers · 1 filter
Efficient and Verified Continuous Double Auctions
Mohit Garg, Suneel Sarswat
Continuous double auctions are commonly used to match orders at currency, stock, and commodities exchanges. A verified implementation of continuous double auctions is a useful tool…
Double Auctions: Formalization and Automated Checkers
Mohit Garg, N. Raja, Suneel Sarswat +1
Double auctions are widely used in financial markets, such as those for stocks, derivatives, currencies, and commodities, to match demand and supply. Once all buyers and sellers ha…
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…
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…