Fair exchange protocols are a mechanism to ensure that items held by two parties are exchanged without one party gaining an
advantage. Several such protocols have been proposed in recent years. We used the Possum animation tool to explore these protocols
to examine whether they achieve their security goals. Our experiments revealed some new attacks and helped to gain other useful
insights into various fair exchange protocols.