会员服务
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
Arxiv
0+阅读 · 2023年4月20日
A Protocol for Cast-as-Intended Verifiability with a Second Device
Arxiv
0+阅读 · 2023年4月19日
A Systematic Approach to Automotive Security
Arxiv
0+阅读 · 2023年4月17日
LoRe: A Programming Model for Verifiably Safe Local-First Software
Arxiv
1+阅读 · 2023年4月14日
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
Arxiv
0+阅读 · 2023年3月24日
参考链接
微信扫码咨询专知VIP会员
Top