Formal Approaches to Information-Hiding (Tutorial). - Romain Beauxis; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Prakash Panangaden (TGC, 2007)

On the Asynchronous Nature of the Asynchronous pi-Calculus. - Romain Beauxis; Catuscia Palamidessi; Frank D. Valencia (Concurrency, Graphs and Models, 2008)

Probabilistic and Concurrent Models for Security. - Romain Beauxis (ICLP, 2008)

Probabilistic and nondeterministic aspects of anonymity. - Romain Beauxis; Catuscia Palamidessi (Theor. Comput. Sci., 2009)

Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols. - Romain Beauxis (2009)

A Non-Standard Semantics for Kahn Networks in Continuous Time. - Romain Beauxis; Samuel Mimram (CSL, 2011)

Liquidsoap: A High-Level Programming Language for Multimedia Streaming. - David Baelde; Romain Beauxis; Samuel Mimram (SOFSEM, 2011)

The Failure of Noise-Based Non-continuous Audio Captchas. - Elie Bursztein; Romain Beauxis; Hristo S. Paskov; Daniele Perito; Celine Fabry; John C. Mitchell (IEEE Symposium on Security and Privacy, 2011)