Atomic Transfer Graphs: Secure-by-Design Protocols for Heterogeneous Blockchain Ecosystems | IEEE Conference Publication | IEEE Xplore