Concepedia

Vincent Vanackère

VV

Statistics

Publications

1

Citations

94

H-Index

1

Active since

2002

Affiliations

Aix-Marseille Université(Current)

Vincent Vanackère is an author at Aix-Marseille Université specializing in cryptography, formal methods, and formal verification.

Top concepts

Publications per year

2002–2002

1

Publications

1

On the symbolic reduction of processes with cryptographic functions

Roberto M. Amadio, Denis Lugiez, Vincent Vanackère · Theoretical Computer Science · 2002 · 94 citations

, , +7

1–1 of 1