Guillaume Davy

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Multicriteria Optimization

Formal Verification

Top Venues

IACR Cryptol. ePrint Arch.

Institut supérieur de l'aéronautique et de l'espace, Toulouse, France (PHD)

Education History

Institut supérieur de l'aéronautique et de l'espace, Toulouse, France

PHD