×

找到38个软件包(结果1-38)

皮诺奇

91份文件引用(2013年-2023年)
软件作者: 巴诺,B.,詹特里,C.,豪厄尔,J.,雷科娃,M。
相关软件: C的SNARK;马林鱼;Geppetto…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

利比奥普

23篇文献引用(2019–2022)
软件作者: Nicholas P.沃德。
相关软件: 利格罗;斯巴达人;马林…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

ProVerify公司

49篇文献引用(2005–2023)
软件作者: inria.fr;布鲁诺·布兰切特
相关软件: AVISPA;塔马林;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

莫德-NPA

39篇文献引用(2009–2023)
软件作者: 圣地亚哥埃斯科瓦尔;梅多斯,凯瑟琳作者简介;何塞·梅塞盖尔;圣地亚哥,索尼娅
相关软件: 莫德;塔马林;AVISPA…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

斯巴达人

37篇文献引用(2020–2023)
软件作者: 斯琳塔·塞蒂
相关软件: 性欲;马林鱼;天秤座…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

NRL公司

30篇文献引用(1996–2022)
软件作者: 凯瑟琳·梅多斯
相关软件: 莫德;AVISPA;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;卡斯珀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

马刀

25篇文献引用(2018–2023)
软件作者: D'Anvers,Jan-Pieter;昂舒曼·卡马卡;辛哈·罗伊(Sinha Roy),苏霍伊(Sujoy);弗雷德里克·韦考特伦
相关软件: FrodoKEM;NTRU;自行车…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

美味的

22篇文献引用(2011–2023)
软件作者: Henecka,W.、Kögl,S.、Sadeghi,A.-R.、Schneider,T.、Wehrenberg,I。
相关软件: ABY;VMCrypt;FairplayMP…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

精彩

引用于20份文件(2019年-2023年)
软件作者: Ashur,T。;德胡厄,S。
相关软件: MiMC;波塞冬;低MC…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…

振动

17篇文献引用(2009–2023)
软件作者: Damgård,伊万;马丁·盖斯勒(Martin Geisler);米克尔·克里加德;杰斯珀·布乌斯·尼尔森
相关软件: 分享者;FairplayMP;美味…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);信息与通信理论,电路(94-XX)

爱马仕

8份文件引用(2005–2009)
软件作者: Bozga,L.、Lakhnech,Y.、Perin,M。
相关软件: AVISPA;卡斯珀;Timbuk…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

SCiFI公司

7份文件引用(2012–2023)
软件作者: Osadchy,M.,Pinkas,B.,Jarrous,A.,Moskovich,B。
相关软件: 自行车;银;美味…
主要字段: 计算机科学(68-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)

阿普特

5份文件引用(2017–2018)
软件作者: V.雪娃;David Baelde、Stephanie Delaune、Lucca Hirschi
相关软件: 阿克斯;塔马林;AVISPA…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CoSP公司

5份文件引用(2010–2018)
软件作者: Michael Backes、Dennis Hofheinz、Dominique Unruh
相关软件: AVISPA;EasyCrypt;ProVerif…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

LITESET公司

5份文件引用(1998年至2017年)
软件作者: 花冈、果一郎;郑玉良;伊迈、希德基
相关软件: 克利夫亚;McOE公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

倾斜-C

5份文件引用(2017–2023)
软件作者: Zahur,S.,Evans,D。
相关软件: ABY;TinyGarble公司;护卫舰…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Spi2Java软件

3份文件引用(2007–2014)
软件作者: 波扎,D.,西斯托,R.,杜兰特,L。
相关软件: ASPIER公司;AGVI;ProVerif…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

AGVI公司

3份文件引用(2001–2018)
软件作者: 歌曲,黎明;阿德里安·佩里格(Adrian Perrig);多安塔姆·潘
相关软件: MJ;JavaSPI;Spi2Java…
主要字段: 计算机科学(68-XX)

阳极氧化

1份文件引用(2017)
软件作者: Hohenberger,S.、Myers,S.,Pass,R.、Shelat,A。
相关软件: 力比奥;25519版;利盖罗…
主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)

承载SSL

4份文件引用(2021年至2022年)
软件作者: 波宁,T。
相关软件: NTL;github;咖喱…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

HyCC公司

4份文件引用(2020–2023)
软件作者: Büscher,N.、Demmler,D.、Katzenbeisser,S.、Kretzmer,D.、Schneider,T。
相关软件: ABY;怀斯特里亚;美味…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

秘密

3份文件引用(2005–2015)
软件作者: A.D.Gordon、C.Haack、A.Jeffrey
相关软件: F*;塔马林;OFMC…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

miTLS系统

3份文件引用(2019年至2021年)
软件作者: 卡尔蒂基安·巴加万、塞德里克·福内特、圣地亚哥·扎内拉·贝林、本杰明·贝尔杜奇、安托万·德利格纳·拉瓦德、马尔库夫·科尔维斯、吉安·卡里姆·津津多霍、纳迪姆·科贝西、阿尔弗雷多·皮隆蒂、皮尔雷·伊夫·斯特鲁布
相关软件: NAXOS;HaNS;CppMem;…(C)…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

熊猫

3份文件引用(2014–2020)
软件作者: Chuengsatiansup,Chitchanok;Michael Naehrig;里巴尔斯基,潘切;彼得·施瓦布
相关软件: 太阳神;EAGL;皮诺奇…
主要字段: 数论(11-XX);代数几何(14-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

微型乐高

3份文件引用(2016–2017)
软件作者: Frederiksen,T.、Jakobsen,T.和Nielsen,J.、Trifiletti,R。
相关软件: 迷你乐高;GraphSC;EMP-toolkit…
主要字段: 信息与通信理论,电路(94-XX)

ZKPDL公司

1份文件引用(2021)
软件作者: Sarah Meiklejohn、C.Christopher Erway、Alptekin Küpçü、Theodora Hinkle、Anna Lysyanskaya
相关软件: bplib;艾美;LIBSCAPI…
主要字段: 信息与通信理论,电路(94-XX)

CASPA公司_

1份文件引用(2015)
软件作者: 迈克尔·巴克斯(Michael Backes);斯特凡·洛伦茨;马特奥·马菲;金·佩西纳
相关软件: F*;塔马林;隐秘…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

消费品安全局

2份文件引用(2017–2018)
软件作者: J.D.古特曼、J.D.拉姆斯代尔。
相关软件: 莫德-NPA;阿克斯;塔马林…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

G2C公司

1份文件引用(2012)
软件作者: 迈克尔·巴克斯(Michael Backes);马特奥·马菲;Pecina,Kim;拉斐尔·雷舒克(Raphael M.Reischuk)。
相关软件: 通用电气;AURA公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

联合太平洋航空公司

1份文件引用(2003)
软件作者: 斯蒂芬·马吉尔(Stephen Magill);布拉德利·斯卡格斯;毛里西奥·爸爸;约翰·黑尔
相关软件:
主要字段: 计算机科学(68-XX)

MoSS公司

1份文件引用(2021)
软件作者: 埃米尔·赫茨伯格;莱博维茨,赫米;西塔,埃瓦;萨拉·沃托尼亚克
相关软件: 隐秘HOL;塔马林;GNUC…
主要字段: 信息与通信理论,电路(94-XX)

尼尔森

1份文件引用(2018)
软件作者: 马特维·科托夫;德米特里·潘特列夫;亚历山大·乌沙科夫
相关软件: 间隙;单一
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

操纵

1份文件引用(2015)
软件作者: Chang,Donghoon;雅提,阿尔潘;斯威塔·米什拉;索米特拉·库马尔·桑纳迪亚
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

SHWMP公司

在0个文档中引用
软件作者: 伊斯兰,马里兰州谢里夫;哈米德,Md.Abdul;洪,Choong Seon
相关软件:
主要字段:

TRING(调谐)

1份文件引用(2010年)
软件作者: 拉朱,D.V.Naga;瓦利·库马里
相关软件:
主要字段: 计算机科学(68-XX)

W3B密码

1份文件引用(2006年)
软件作者: 安吉洛斯·斯塔夫鲁;Michael E.Locasto。;Angelos D.Keromytis。
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

vtTLS系统

在0个文档中引用
软件作者: 安德烈·约阿金;米格尔·L·帕达尔。;米格尔·科雷亚
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段