• Sign in
  • Sign up
conf.researchr.org / David Aspinall
  • APLAS 2020 profile
  • POPL 2020 profile
  • POPL 2023 profile
No Photo

Not registered as user

Name:David Aspinall
Affiliation:University of Edinburgh

Contributions

2023

ProLaLa

  • Author of Formalising Criminal Law in Catala within the ProLaLa 2023-track

2020

APLAS

  • Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track

CPP

  • Author of Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL within the CPP 2020-track
Share
xThu 8 May 23:04
using conf.researchr.org (v1.69.0)
Support page
Sign Up