BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Twins: White-Glove Approach for BFT Testing - Shehar Bano\, Novi (
 Facebook)
DTSTART:20201015T140000Z
DTEND:20201015T150000Z
UID:TALK152218@talks.cam.ac.uk
CONTACT:Srinivasan Keshav
DESCRIPTION:Byzantine Fault Tolerant (BFT) systems have seen extensive stu
 dy for more than two decades\, yet we lack a principled strategy for testi
 ng BFT implementations. In this talk I will describe Twins\, a new approac
 h for testing BFT systems. The main idea of Twins is that we can emulate B
 yzantine behavior by running two (or generally up to k) instances of a nod
 e with the same identity. Each of the two instances (or twins) runs unmodi
 fied\, correct code. The Twins approach requires only a thin network wrapp
 er that delivers messages to/from both twins. To the rest of the system\, 
 the twins appear indistinguishable from a single node behaving in a ‘que
 stionable’ manner. Twins generates ‘interesting’ Byzantine behaviors
 \, including equivocation\, double voting\, and losing internal state\, wh
 ile forgoing ‘uninteresting’ behaviors that are trivially rejected by 
 honest nodes\, such as producing semantically invalid messages. Building o
 n this idea\, Twins can systematically generate Byzantine attack scenarios
  at scale\, execute them in a controlled manner\, and check for desired pr
 otocol properties.\n\nBio\n\nShehar Bano is a Research Scientist in Novi (
 Facebook) based in London. She is also a Visiting Researcher at the Depart
 ment of Computer Science and Technology\, University of Cambridge. Her res
 earch interests centre on networked and distributed systems\, particularly
  in the context of security and performance. She was a co-founder and seni
 or researcher at Chainspace\, a scalable smart contracts platform\, before
  she moved to Novi. She received her Ph.D. degree (Characterization of Int
 ernet Censorship from Multiple Perspectives) from the University of Cambri
 dge in 2017 and her Master's degree in Computer and Communication Security
  from National University of Science and Technology\, Pakistan in 2013.\n
LOCATION:https://meet.google.com/ehj-dwaz-rea
END:VEVENT
END:VCALENDAR