Cédric Meuter

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Constrained Clustering

Semi Supervised Clustering

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Liran Lerman, Stephane Fernandes Medeiros, Nikita Veshchikov, Cédric Meuter, Gianluca Bontempi, Olivier Markowitch
Semi-Supervised Template Attack. COSADE (2013)
Liran Lerman, Stephane Fernandes Medeiros, Nikita Veshchikov, Cédric Meuter, Gianluca Bontempi, Olivier Markowitch
Semi-Supervised Template Attack. IACR Cryptol. ePrint Arch. 2012 (2012)
Thierry Massart, Cédric Meuter, Laurent Van Begin
On the complexity of partial order trace model checking. Inf. Process. Lett. 106 (3) (2008)
Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
Testing Distributed Systems Through Symbolic Model Checking. FORTE (2007)
Alexandre Genon, Thierry Massart, Cédric Meuter
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. FM (2006)
Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter
SL and Spin. Formal Aspects Comput. 17 (2) (2005)
Bram De Wachter, Thierry Massart, Cédric Meuter
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. OPODIS (2003)