arXiv cs.CR·16d agoOn Identifying Sound Conditions for Frontrunning Resistance#blockchain#ethereum#formal-methodsResearch