Publications and papers funded or co-funded by COBRA
Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters: ConCert: A Smart Contract Certification Framework in Coq. Paper accepted for CPP 2019. Link to paper
Dominic Deuber, Bernardo Magri and Sri Aravinda Krishnan Thyagarajan: Redactable Blockchain in the Permissionless Setting. Paper accepted for IEEE S&P 2019. Link to paper
Danil Annenkov and Bas Spitters. Towards a Smart Contract Verification Framework in Coq. Paper accepted for FMBC 2019. Link to paper