Update README.md

ElNiak · Jun 26, 2024 · 7b0ec76 · 7b0ec76
1 parent 3ed280a
commit 7b0ec76
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -127,6 +127,8 @@ PANTHER can simulate advanced persistent threats (APTs) in network protocols. By
 
 For further reading and context on the topics and methodologies used in this tool, refer to the following articles:
 
+- Rousseaux, T., Crochet, C., Aoga, J., Legay, A. (2024). Network Simulator-Centric Compositional Testing. In: Castiglioni, V., Francalanza, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024. Lecture Notes in Computer Science, vol 14678. Springer, Cham. https://doi.org/10.1007/978-3-031-62645-6_10
+
 - Crochet, C., Rousseaux, T., Piraux, M., Sambon, J.-F., & Legay, A. (2021). Verifying quic implementations using ivy. In *Proceedings of the 2021 Workshop on Evolution, Performance and Interoperability of QUIC*. [DOI](10.1145/3488660.3493803)
 
 - Crochet, C., & Sambon, J.-F. (2021). Towards verification of QUIC and its extensions. (Master's thesis, UCL - Ecole polytechnique de Louvain). Available at [UCLouvain](http://hdl.handle.net/2078.1/thesis:30559). Keywords: QUIC, Formal Verification, RFC, IETF, Specification, Ivy, Network.