David Aspinall

Identifiers

• name variant David Aspinall 0.60 · backfill

Papers (6)

1. How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation cs.CR · 2018 · author #2
2. DroidGen: Constraint-based and Data-Driven Policy Generation for Android cs.CR · 2016 · author #2
3. Accessible Banking: Experiences and Future Directions cs.CY · 2015 · author #2
4. Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors cs.CR · 2014 · author #4
5. ProofPeer: Collaborative Theorem Proving cs.LO · 2014 · author #4
6. Capturing Hiproofs in HOL Light cs.LO · 2013 · author #3

Mentions

• 1507.04578 #2 · backfill · confidence 0.70 David Aspinall
• 1410.7743 #4 · backfill · confidence 0.70 David Aspinall
• 1404.6186 #4 · backfill · confidence 0.70 David Aspinall
• 1307.2713 #3 · backfill · confidence 0.70 David Aspinall

Frequent Coauthors

• Steven Obua 2 shared papers
• Adria Gascon 1 shared papers
• Bela Gor 1 shared papers
• David Butler 1 shared papers
• Hilmi Gunes Kayacik 1 shared papers
• Jacques Fleuriot 1 shared papers
• Lynne Baillie 1 shared papers
• Mark Adams 1 shared papers
• Mike Just 1 shared papers
• Mohamed Nassim Seghir 1 shared papers
• Nicholas Micallef 1 shared papers
• Phil Scott 1 shared papers