Resources

The links below include resources motivating the need for the study of evidence critical systems and on how they might be built. If you have any suggested additions, please email steven@evidencecritical.systems.

Talks

• Evidence-critical systems: what they are and why we need them, Steven J. Murdoch, Workshop on Security and Human Behaviour (SHB 2020), 18–19 June 2020
• Designing for Dispute Resolution, Steven J. Murdoch, Workshop on Security and Human Behaviour (SHB 2021), 03–04 June 2021

Articles

• Post Office Trial: a site by journalist Nick Wallis on the Post Office trial(s), where people running Post Office branches in the UK were prosecuted based on flawed evidence created by the Horizon Computer system
• The Law Commission presumption concerning the dependability of computer evidence, Peter Bernard Ladkin, Bev Littlewood, Harold Thimbleby, Martyn Thomas. Digital Evidence and Electronic Signature Law Review, Volume 17 (2020).
• The Post Office Horizon IT scandal and the presumption of the dependability of computer evidence, James Christie. Digital Evidence and Electronic Signature Law Review, Volume 17 (2020).
• Recommendations for the probity of computer evidence, Paul Marshall, James Christie, Peter Bernard Ladkin, Bev Littlewood, Stephen Mason, Martin Newby, Jonathan Rogers, Harold Thimbleby, Martyn Thomas. Digital Evidence and Electronic Signature Law Review, Volume 18 (2021).
• Evidence Critical Systems: Designing for Dispute Resolution, Steven J. Murdoch, April 2021
• Distributing consistency, Andras Gerlits: discussing how consistent ordered event streams and deterministic computation can be applied to create reproducible results from distributed systems
• Dangers Posed by Evidentiary Software—and What to Do About It, Susan Landau, Lawfare, June 2021.
• Evidence-Based Elections, Philip B. Stark and David Wagner, October 2012.
• Evidence-Based Elections: Create a Meaningful Paper Trail, Then Audit, Andrew W. Appel & Philip B. Stark, July 2020.
• Verifiable design in modern systems, Ryan Hurst, July 2021.

Organisations and software

• Tamper-evident logs: Google’s work on applying Trillian to enhance the transparency of systems
• Jitsuin: a company developing a product to enhance the level of assurance in how data is used
• dianemoDB: a distributed communication protocol offering consistent transactions and reproducible results