编辑配置文件（在新选项卡中打开） 大卫·卡德 合著者距离 作者ID: 学院.david 发布日期： 大卫·卡德 编入索引的文档： 1出版物自2013年起 合著者： 1位合著者具有1联合出版物 20位合著者 合著者 0 单作者的 1 布鲁诺·布兰切特 系列 领域 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物被引用2中的次2文件 引用人▼ 年份▼ 根据计算安全协议规范证明了实现的生成。 Zbl 1390.68274号 大卫·卡德;布鲁诺·布兰切特 2 2013 根据计算安全协议规范证明了实现的生成。 Zbl 1390.68274号 大卫·卡德;布鲁诺·布兰切特 2 2013 全部的 前5名9位作者引用 1 阿瓦莱，马蒂奥 1 吉尔·巴特 1 古斯塔沃·贝塔特 1 皮耶吉乌塞佩·贝塔萨·科佩特 1 胡安·迭戈·坎波 1 卡洛斯·卢纳 1 大卫·皮哈迪 1 阿尔弗雷多·皮隆蒂 1 里卡多·西斯托 2篇连载文章中引用 1 自动推理杂志 1 计算的形式方面 在2个字段中引用 2 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文