Verified Double Sided Auctions for Financial Markets.

Raja Natarajan, Suneel Sarswat, Abhishek Kr Singh

Browse the full ITP paper archive.