The failure of noise-based non-continuous audio captchas E Bursztein, R Beauxis, H Paskov, D Perito, C Fabry, J Mitchell 2011 IEEE symposium on security and privacy, 19-31, 2011 | 122 | 2011 |
On the Asynchronous Nature of the Asynchronous π-Calculus R Beauxis, C Palamidessi, FD Valencia Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 30 | 2008 |
A non-standard semantics for Kahn networks in continuous time R Beauxis, S Mimram arXiv preprint arXiv:1108.5062, 2011 | 12 | 2011 |
Probabilistic and nondeterministic aspects of anonymity R Beauxis, C Palamidessi Theoretical Computer Science 410 (41), 4006-4025, 2009 | 9 | 2009 |
Formal approaches to information-hiding (tutorial) R Beauxis, K Chatzikokolakis, C Palamidessi, P Panangaden Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008 | 6 | 2008 |
Liquidsoap: A high-level programming language for multimedia streaming D Baelde, R Beauxis, S Mimram International Conference on Current Trends in Theory and Practice of …, 2011 | 5 | 2011 |
Consortium P Wu, K Chatzikokolakis, R Beauxis, C Picaronny, S Pinot, U PPS, ... | 2 | |
The Liquidsoap book S Mimram, R Beauxis | 1 | 2021 |
A smooth probabilistic extension of concurrent constraint programming R Beauxis SOFSEM 5404, 0 | 1 | |
Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols R Beauxis Ecole Polytechnique X, 2009 | | 2009 |