Achour Mostefaoui, Hamouma Moumen, Michel Raynal. Modular randomized byzantine k-set agreement in asynchronous message-passing systems. The 17th International Conference on Distributed Computing and Networking (ICDCN'16), Jan 2016, Singapore, Singapore. pp.1-10, ⟨10.1145/2833312.2833313⟩. ⟨hal-02056378v2⟩

Achour Mostefaoui, Michel Raynal. Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems. The 4th International Conference on Networked Systems, May 2016, Marrakech, Morocco. pp.250-265, ⟨10.1007/978-3-319-46140-3_21⟩. ⟨hal-02056397v2⟩

Achour Mostefaoui, Michel Raynal. Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. The 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.381-389, ⟨10.1145/2933057.2933095⟩. ⟨hal-02056409v2⟩

Stéphanie Delaune, Lucca Hirschi. A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. Journal of Logical and Algebraic Methods in Programming, 2017, 87, pp.127 - 144. ⟨10.1016/j.jlamp.2016.10.005⟩. ⟨hal-01906634⟩

Édouard Canot, Salwa Mansour, Renaud Delannay. Evaporation/Condensation of water in a granular medium, restricted to the pendular regime: the EWGM model. [Research Report] Institut de Physique de Rennes. 2024, pp.18. ⟨hal-01245758⟩