Martı́n Abadi

· Health Information Management
77h 指数
54,407总引用
287发文
185i10

研究方向

Logic, programming, and type systemsSecurity and Verification in ComputingAdvanced Authentication Protocols SecurityCryptography and Data SecurityDistributed systems and fault tolerance

数据来源: OpenAlex + ORCID + Wikidata · 数据质量: verified

登录后开启学术探索

收藏教授 / 论文 / 学科排名, 订阅研究方向更新。登录后开启这些能力。

已有账号?