Markus Knecht: SAMOS: a Smart Contract Access Management over Opaque and Substructural Types; IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2021), Darlinghurst, Australia, May 2021.