1. Jesper Louis Andersen. 2015. Enacl – Erlang bindings for NaCl/libsodium. https://github.com/jlouis/enacl
2. Thomas Arts and Lars-Åke Fredlund. 2002. Trace analysis of Erlang programs. SIGPLAN Notices 37, 12 (2002), 18–24.
3. Duncan Paul Attard and Adrian Francalanza. 2016. A Monitoring Tool for a Branching-Time Logic. In Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings (Lecture Notes in Computer Science) , Yliès Falcone and César Sánchez (Eds.), Vol. 10012. Springer, 473–481.
4. Duncan Paul Attard and Adrian Francalanza. 2017. Trace Partitioning and Local Monitoring for Asynchronous Components. In Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Lecture Notes in Computer Science) , Alessandro Cimatti and Marjan Sirjani (Eds.), Vol. 10469. Springer, 219–235.
5. Bruno Blanchet. 2016. Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif. Foundations and Trends in Privacy and Security 1, 1-2 (2016), 1–135.