Sign in
Lélio Brun
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 5
Top Topics
Proxy Signature Scheme
Programming Language
Security Analysis
Fixed Point Semantics
Top Venues
ACM Trans. Embed. Comput. Syst.
Proc. ACM Program. Lang.
PLDI
SCOPES
</>
Publications
</>
Lélio Brun
,
Ichiro Hasuo
,
Yasushi Ono
,
Taro Sekiyama
Automated Security Analysis for Real-World IoT Devices.
HASP@MICRO
(2023)
Lélio Brun
,
Christophe Garion
,
Pierre-Loïc Garoche
,
Xavier Thirioux
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.
ACM Trans. Embed. Comput. Syst.
22 (5s) (2023)
Timothy Bourke
,
Lélio Brun
,
Marc Pouzet
Mechanized semantics and verified compilation for a dataflow synchronous language with reset.
Proc. ACM Program. Lang.
4 (POPL) (2020)
Timothy Bourke
,
Lélio Brun
,
Marc Pouzet
Towards a verified Lustre compiler with modular reset.
SCOPES
(2018)
Timothy Bourke
,
Lélio Brun
,
Pierre-Évariste Dagand
,
Xavier Leroy
,
Marc Pouzet
,
Lionel Rieg
A formally verified compiler for Lustre.
PLDI
(2017)