Author Info
Name
Affiliation
Papers
DAVID ASPINALL
Univ Edinburgh, Alan Turing Inst, Edinburgh, Midlothian, Scotland
5
Collaborators
Citations 
PageRank 
9
2
1.73
Referers 
Referees 
References 
9
35
17
Title
Citations
PageRank
Year
Examining traffic microstructures to improve model development00.342021
Controlling Network Traffic Microstructures for Machine-Learning Model Probing00.342021
Formalising Sigma-Protocols And Commitment Schemes Using Crypthol00.342021
Neural Networks, Secure by Construction - An Exploration of Refinement Types.00.342020
How To Simulate It In Isabelle: Towards Formal Proof For Secure Multi-Party Computation20.382018