Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Chiara Braghin
Latest
A Modeling and Verification Framework for Ethereum Smart Contracts
Towards ASM-Based Automated Formal Verification of Security Protocols
Cite
×