Gautier Raimondi

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Program Execution

Optimal Solution

Programming Environment

Top Venues

Publications

Gautier Raimondi, Frédéric Besson, Thomas P. Jensen
Type-directed Program Transformation for Constant-Time Enforcement. PPDP (2023)