Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Sebastien Bardin

Registered user since Sun 11 Aug 2019

Name: Sebastien Bardin

Country: France

Affiliation: CEA LIST

Personal website: http://sebastien.bardin.free.fr/

Research interests: Program Analysis; Formal Methods; Software Engineering; Security

Contributions

SEAD 2019Committee Member in Program Committee within the SEAD 2019-track
ASE 2019Author of Get rid of inline assembly through verification-oriented lifting within the Research Papers-track
Show activities from other conferences

Using general profile