Romain Beauxis

According to our database, Romain Beauxis authored at least 8 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

The Failure of Noise-Based Non-continuous Audio Captchas.

Elie Bursztein, Romain Beauxis, Hristo S. Paskov, Daniele Perito, Celine Fabry, John C. Mitchell

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Liquidsoap: A High-Level Programming Language for Multimedia Streaming.

David Baelde, Romain Beauxis, Samuel Mimram

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

A Non-Standard Semantics for Kahn Networks in Continuous Time.

Romain Beauxis, Samuel Mimram

Proceedings of the Computer Science Logic, 2011

2009

Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols.

Romain Beauxis

PhD thesis, 2009

Probabilistic and nondeterministic aspects of anonymity.

Romain Beauxis, Catuscia Palamidessi

Theor. Comput. Sci., 2009

2008

Probabilistic and Concurrent Models for Security.

Romain Beauxis

Proceedings of the Logic Programming, 24th International Conference, 2008

On the Asynchronous Nature of the Asynchronous pi-Calculus.

Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia

Proceedings of the Concurrency, 2008

2007

Formal Approaches to Information-Hiding (Tutorial).

Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007