BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Keeping authorities honest with verifiable append-only logs\, and 
 making backdoored software updates detectable - Mustafa Al Bassam\, Depart
 ment of Computer Science\, University College London (UCL)
DTSTART:20190129T140000Z
DTEND:20190129T150000Z
UID:TALK116698@talks.cam.ac.uk
CONTACT:Alexander Vetterl
DESCRIPTION:Transparency is important in services that rely on authoritati
 ve information\, as it provides a robust mechanism for holding authorities
  accountable for their actions\, or making those actions publicly auditabl
 e. A number of solutions have emerged in recent years that provide public 
 auditability in the setting of public key infrastructure (such as certific
 ate and key transparency)\, and cryptocurrencies provide an example of how
  to allow for public verifiability in a financial setting.\n\nIn this semi
 nar\, we explore the technical mechanisms for building transparent\, audit
 able or verifiable systems\, including verifiable data structures\, append
 -only logs and blockchains. We discuss how such systems can provide extra 
 security assurances to users in the context of compelled software backdoor
 s (e.g. via the Investigatory Powers Act)\, by enforcing transparency mech
 anisms in software distribution.
LOCATION:LT2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR