[ Software Research Lunch ]


The Stanford Software Research Lunch is a weekly event on Thursday where students and researchers present their latest work to peers. Talks are open to anybody, but regular attendees are expected to give a presentation on their work.

Mailing list: software-research-lunch@lists.stanford.edu (subscribe via mailman)

Calendar: ical

Format: The lunch is held every week during fall, winter and spring quarter. The first week of every quarter is an organizational lunch where people can sign up to give a talk. If you'd like to give a talk, please contact Matthew Sotoudeh or Anjiang Wei.

Past quarters: Fall 2023, Spring 2023, Winter 2023, Fall 2022, Winter 2021, Fall 2020, Winter 2020, Fall 2019, Spring 2019, Winter 2019, Fall 2018, Spring 2018, Winter 2018, Fall 2017, Spring 2017, Winter 2017, Fall 2016.

Upcoming quarters: Spring 2024.

Ordering Food: For suggestions for those ordering food for the lunch, see here.


4/4: TBD (Akshay Srivatsan (Tentative))

Time: Thursday, April 4, 2024, 12 noon - 1pm
Location: Gates 415

Speaker: Akshay Srivatsan (Tentative)

Food:


4/11: TBD (Haoran Xu (Tentative))

Time: Thursday, April 11, 2024, 12 noon - 1pm
Location: Gates 415

Speaker: Haoran Xu (Tentative)

Food:


4/18: Zero-Knowledge, Maximum Security: Hardening Blockchain with Formal Methods

Time: Thursday, April 18, 2024, 12 noon - 1pm
Location: Gates 415

Speaker: Yu Feng

Abstract: Zero-knowledge proofs are powerful cryptographic protocols for enhancing privacy and scalability in blockchains. However, ensuring the correctness and security of zero-knowledge proofs is a challenging task due to its complex nature. This talk aims to address this challenge by leveraging formal methods with a pipeline of increasing confidence, ranging from a domain-specific solver for detecting under-constrained circuits (PLDI'23), to formal verification for functional correctness using refinement types (Oakland'24). By applying formal methods with complementary strength, we have been working on rigorous teques to detect vulnerabilities, verify correctness, and enhance the resilience of zero-knowledge proof systems against attacks.

Food: