2 citations · 3 across the 4 of their papers we have counts for
3 papers · 1 filter
If it's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard
Ross Anderson, Nicholas Boucher
In this paper we're going to explore the ways in which security proofs can fail, and their broader lessons for security engineering. To mention just one example, Larry Paulson prov…
Threat Models over Space and Time: A Case Study of E2EE Messaging Applications
Partha Das Chowdhury, Maria Sameen, Jenny Blessing +5
Threat modelling is foundational to secure systems engineering and should be done in consideration of the context within which systems operate. On the other hand, the continuous ev…
Attack of the Clones: Measuring the Maintainability, Originality and Security of Bitcoin 'Forks' in the Wild
Jusop Choi, Wonseok Choi, William Aiken +5
Since Bitcoin appeared in 2009, over 6,000 different cryptocurrency projects have followed. The cryptocurrency world may be the only technology where a massive number of competitor…