Control Flow Analysis for process algebras with applications to security
Privacy-preserving Information Sharing
The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains