报告题目：Multi-server Non-interactive Verifiable Computation and its Applications
时 间：2024年1月27日（星期六）8:30
地 点：科研楼18号楼1102会议室
主 办：数学与统计学院
参加对象：感兴趣的老师与研究生
报告摘要：Verifiable computation allows a client to outsource the computation of a function F(x) to powerful cloud servers and then efficiently verify the correctness of the servers’ computation. Recently there is a trend to ensure not only the integrity of the outsourced computation but also the confidentiality of the client’s data in the field of outsourcing computations. In this context multi-server NIVC techniques may give close to practical schemes that relieve the concerns about both privacy and security. In this talk, we will discuss some of these techniques and their applications.
报告人简介：张良峰分别在同济大学数学系、上海交通大学数学系、南洋理工大学数学科学系获学士、硕士、博士学位；曾在加拿大卡尔加里大学计算机科学系从事博士后研究；主要研究领域为密码与编码；2015年加入上海科技大学信息科学与技术学院，现为常任副教授、研究员、博士生导师；2017年作为访问教授访问加州大学伯克利分校；近期主要从事对云计算安全、多方计算安全、区块链安全的研究，已获国家自然科学基金、上海市自然科学基金、上海市浦江人才计划等资助；2016年起担任美国数学会《数学评论》评论员；是信息安全国际会议ProvSec 2020、 ProvSec 2021、 ProvSec 2022、 ACISP 2022、 ProvSec 2023、 Asiacrypt 2023、 Inscrypt 2023、 FCS 2023程序委员会委员。