TY - RPRT TI - The Design and Regulation of Exchanges: A Formal Approach AU - Mohit Garg AU - Suneel Sarswat PY - 2022 UR - https://arxiv.org/abs/2210.05447 ID - 2210.05447 ER -