Proof of Location through a Blockchain Agnostic Smart Contract Language. - Michele Bonini; Mirko Zichichi; Stefano Ferretti; Gabriele D'Angelo (ICDCS Workshops, 2023)