Théo Winterhalter
发表
Eleonora Guerrini,
Laurent Imbert,
Théo Winterhalter,
2015,
IACR Cryptol. ePrint Arch..
Nicolas Tabareau,
Théo Winterhalter,
Matthieu Sozeau,
2019,
CPP.
Simon Boulier,
Nicolas Tabareau,
Théo Winterhalter,
2020,
Journal of Automated Reasoning.
Nicolas Tabareau,
Théo Winterhalter,
Jesper Cockx,
2021,
Proc. ACM Program. Lang..
Théo Winterhalter,
Andreas Abel,
Andrea Vezzosi,
2017,
Proc. ACM Program. Lang..
Simon Boulier,
Nicolas Tabareau,
Théo Winterhalter,
2019,
Proc. ACM Program. Lang..
Bas Spitters,
Théo Winterhalter,
Exequiel Rivas,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).