Laurent Mauborgne

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 3

Top Topics

Static Analysis

Symbolic Execution

Top Venues

IACR Cryptol. ePrint Arch.

Found. Trends Program. Lang.

USENIX Security Symposium

SAFECOMP Workshops

Publications