Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson. Gaining trust by tracing security protocols. In Adrian Francalanza, Viktória Fördos, editors, Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019. pages 56-67, ACM, 2019. [doi]
Abstract is missing.