Philippe Genestier

Publication Activity (10 Years)

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

Top Topics

Automated Verification

Storage Systems

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier
Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. COMPSAC (2022)
Salma Bradai, Amal Gassara, Ahmed Ben Ali, Philippe Genestier, Michel Giordani
A Generic Blockchain-based Exchange Place. BRAINS (2020)
Laurent Topart, Philippe Genestier, Yvan Picaud
Blockchain brings confidence to facilitate the flow of data in the agricultural field. BRAINS (2020)