Vincent Vanackère

Publication Activity (10 Years)

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

Publications

Vincent Vanackère
History-Dependent Scheduling for Cryptographic Processes. VMCAI (2004)
Roberto M. Amadio, Denis Lugiez, Vincent Vanackère
On the symbolic reduction of processes with cryptographic functions. Theor. Comput. Sci. 290 (1) (2003)