Dr Fedor Shmarov

Research Associate

Affiliations:

Systems and Software Security, Department of Computer Science

Links:

ORCID: 0000-0002-3848-451X

View graph of relations

Related information

ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

View all (1)