1 citations · 1 across the 1 of their papers we have counts for
3 papers
On Learning Polynomial Recursive Programs
Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi +1
We introduce the class of P-finite automata. These are a generalisation of weighted automata, in which the weights of transitions can depend polynomially on the length of the input…
Automatic verification of transparency protocols (extended version)
Vincent Cheval, José Moreira, Mark Ryan
Transparency protocols are protocols whose actions can be publicly monitored by observers (such observers may include regulators, rights advocacy groups, or the general public). Th…
Composing security protocols: from confidentiality to privacy
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to…