Automatic Generation of Access Control for Permissionless Blockchains: Ethereum Use Case. - Insaf Achour; Hanen Idoudi; Samiha Ayed (WETICE, 2021)

Access Control Modeling and Validation for Ethereum Smart Contracts. - Insaf Achour; Hanen Idoudi; Samiha Ayed (Concurr. Comput. Pract. Exp., 2025)