×

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

西蒙

175份文件中引用(2014–2023)
软件作者: Beaulieu,R.、Shors,D.、Smith,J.、Treatman-Clark,S.、Weeks,B.、Wingers,L。
相关软件: SPECK;SIMECK公司;存在…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

普林斯

104篇文献引用(2012–2023)
软件作者: 朱莉娅·博格霍夫(Julia Borghoff);Canteaut,Anne;G“uneysu,Tim;Kavun,Elif Bilge;Knezevic,Miroslaf;Knudsen,Lars R.;Leander,Gregor;Nikov,Ventzislav;Paar,Christof;Rechberger,Christian;Rombouts,Peter;Thomsen,S{o} 任美国。;雅克{c}{i} n个,托尔加
相关软件: 出席;西蒙;短笛…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

山茶花

97篇文献引用(2001–2023)
软件作者: 青木,Kazumaro;铁杉一川;神田、Masayuki;松井、三井;森井、希荷;中岛俊子;Tokita、Toshio
相关软件: 克利夫亚;出席;方形…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

Trivium公司

100篇文献引用(2006–2023)
软件作者: 沙赫拉姆·卡扎伊(Shahram Khazaei);迈赫迪·哈桑扎德;克里斯托夫·德·卡尼埃;巴特·普雷尼尔;
相关软件: 粮食;eSTREAM;米奇…
主要字段: 数论(11-XX);交换代数(13-XX);计算机科学(68-XX)…

极瘦的

89份文件引用(2016–2023)
软件作者: 克里斯托夫·贝尔;Jean,Jérémy;科尔贝尔,斯特凡;格雷戈尔,莱安德;阿米尔·莫拉迪;皮林,托马斯;Yu Sasaki;帕斯卡·萨斯德里奇;沈祥孟
相关软件: 出席;西蒙;王子…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

SPECK公司

90篇文献引用(2014–2023)
软件作者: 雷·博利厄(Ray Beaulieu);道格拉斯·肖尔斯(Douglas Shors);杰森·史密斯;斯特凡·特拉特曼·克拉克;布莱恩·威克斯;路易斯·温格斯
相关软件: 西蒙;SIMECK公司;存在…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

JPEG2000格式

61篇文献引用(2002年-2023年)
软件作者: Seo、Yeong Geon;Kim,Kwon Soo;Kim、Sung Gyun
相关软件: 蟒蛇;BM3D;VisualSEEk…
主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…

短笛

66份文件引用(2011–2024)
软件作者: Shibutai,K.、Isobe,T.、Hiwatari,H.、Mitsuda,A.、Akishita,T.和Shirai,T。
相关软件: 出席;王子;西蒙…
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

KTANTAN公司

63份文件引用(2009–2022)
软件作者: 克利斯朵夫·德·卡尼埃;奥尔·邓克尔曼;米罗斯拉夫·克内泽维奇
相关软件: 卡坦;出席;高度…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

LBlock(LB锁定)

59篇文献引用(2011–2024)
软件作者: 吴文玲;张磊
相关软件: 出席;TWINE公司;西蒙…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

HIGHT(高度)

54篇文献引用(2006–2023)
软件作者: 杰桑;Jeong,Kitae;Kim,Hyun;Kim,Jongsung;Chee,Seongtaek先生
相关软件: 出席;西蒙;卡坦…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

网络解决方案

43篇文献引用(1997–2016)
软件作者: Dorian Arnold、Sudesh Agrawal、Susan Blackford、Jack Dongarra、Christoph Fabianek、Tomo Hiroyasu、EricMeek、Michelle Miller、Kiran Sagi、Keith Seymour、Zhiao Shi和Sathish Vadhiyar
相关软件: Ninf-G/MPI;尼姆罗德/G;Globus工具包…
主要字段: 常微分方程(34-XX);统计学(62-XX);数值分析(65-XX)…

自旋

26篇文献引用(2002年至2022年)
软件作者: ADRIAN PERRIG、ROBERT SZEWCYK、J.D.TYGAR、VICTOR WEN和DAVID E.CULLER
相关软件: TinyECC;标签;AVISPA…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

海绵状的

35篇文献引用(2011–2024)
软件作者: Bogdanov,A.,Kneíević,M.,Leander,G.,Toz,D.,Varíc,K.,Verbauwhede,I。
相关软件: 出席;凯卡克;金利…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

朦胧

33篇文献引用(1997–2023)
软件作者: 松井,三井
相关软件: 正方形;出席;山茶花…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

Poly1305-AES公司

34份文件引用(2005–2023)
软件作者: 丹尼尔·伯恩斯坦。
相关软件: MMH;查查;Salsa20…
主要字段: 数论(11-XX);场论与多项式(12-XX);计算机科学(68-XX)…

米奇

28篇文献引用(2008–2023)
软件作者: 巴贝奇,S.,多德,M。
相关软件: 粮食;氚;eSTREAM…
主要字段: 阶、格、有序代数结构(06-XX);交换代数(13-XX);计算机科学(68-XX)…

挪威

29篇文献引用(2002年-2023年)
软件作者: Daemen,J.、Peeters,M.、Assche,G.V.、Rijmen,V。
相关软件: 出席;王子;短笛…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

夸克

26篇文献引用(2010–2023)
软件作者: J.-P.Aumasson、L.Henzen、W.Meier、M.Naya Plasencia
相关软件: 出席;卡坦;谷物…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

克莱因

25篇文献引用(2011–2023)
软件作者: 郑功、斯维特拉·尼科娃、叶维洛
相关软件: 王子;出席;卡坦…
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

UCLID公司

24篇文献引用(2002–2020)
软件作者: Randal E.Bryant;Shuvendu K.Lahiri;桑吉特·塞希亚
相关软件: 糠;PVS;MiniSat…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

m加密

21篇文献引用(2008–2023)
软件作者: 托马斯·普洛斯(Thomas Plos);克里斯托夫·多布拉尼格(Christoph Dobraunig);马库斯·霍芬格;亚历山大·奥普里斯尼克(Alexander Oprisnik);克里斯托夫·维斯迈耶(Christoph Wiesmeier);约翰内斯·魏斯迈尔
相关软件: 出席;HIGHT(高度);卡坦…
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

CRAFT(手工艺)

21篇文献引用(2020–2023)
软件作者: 拜尔勒,C。;Leander,G。;莫拉迪,A。;拉苏尔扎德,S。
相关软件: 极瘦的;出席;西蒙…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

KASUMI公司

20篇文献引用(2002–2016)
软件作者: 佐藤、阿卡西;住友县森冈
相关软件: 山茶花;漩涡;SageMath…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

利利浦特

16篇文献引用(2016–2022)
软件作者: Thierry P.Berger《作者简介》;弗朗克、朱利安;Minier,海军;加尔·托马斯
相关软件: 极瘦的;克利夫亚;方形…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…

方庭

15篇文献引用(2006–2020)
软件作者: 科特迪瓦贝尔班;亨利·吉尔伯特;雅克·帕塔林
相关软件: 麦克利埃塞;eSTREAM;ZHFE…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

布莱克

14篇文献引用(2010–2023)
软件作者: Aumasson,Jean-Philippe;威利·迈尔;拉斐尔·法恩(Raphael C.-W.Phan)。;卢卡·亨岑
相关软件: 恰恰;Salsa20;Skein哈希…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

米纳尔普尔

12份文件引用(2015–2022)
软件作者: Sasaki Y.、Todo Y.、Aoki K.、Naito Y.、Sugawara T.、Murakami Y.,Matsui M.、Hirose S。
相关软件: ELmD;极瘦的;LED…
主要字段: 组合数学(05-XX);信息与通信理论,电路(94-XX)

栅栏

12份文件引用(2019–2023)
软件作者: Polyakov,Y.、Rohloff,K.、Ryan,G.W。
相关软件: GitHub;HElib;FHEW…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

芯片供应商

10篇文献引用(2014–2023)
软件作者: 科林·奥弗林;陈志章
相关软件: GitHub;PQM4;McEliece…
主要字段: 计算机科学(68-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)

水果

9份文件引用(2018–2023)
软件作者: 瓦希德·阿明·加法里(Vahid Amin Ghafari)、胡洪刚(Honggang Hu)、陈颖(Ying Chen)
相关软件: 粮食;氚;eSTREAM…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

阿马迪洛

7份文件引用(2010–2021)
软件作者: 斯特凡·巴德尔(Stéphane Badel)、尼莱·达特金(Nilay Daótekin)、小豪尔赫·纳卡拉(Jorge Nakahara Jr
相关软件: 出席;HIGHT(高度);王子…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

消防员

5份文件引用(2009–2018)
软件作者: 袁,L。;Mai,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。
相关软件: 马尔格雷夫;菲尔马托;HOL-TestGen…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

速度

7份文件引用(2022–2023)
软件作者: Leander,G。;穆斯,T。;莫拉迪,A。;拉苏尔扎德,S。
相关软件: 卡塔尔;出席;王子…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

NESSIE公司

6篇文献引用(2002–2017)
软件作者: 巴特·普雷内尔
相关软件: 山茶花;王子;克利夫亚…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

奥特罗斯

6篇文献引用(2022–2023)
软件作者: 巴尼克,S。;Isobe,T。;刘,F。;Minematsu,K。;Sakamoto,K。
相关软件: 卡塔尔;速度;存在…
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

皮波

6篇文献引用(2021–2023)
软件作者: Kim,Hangi;Jeon,Yongjin;Kim,Giyoon;Kim,Jongsung;Sim,Bo-Yeon;韩东国;Seo,Hwajeong;Kim,Seonggyeom;Hong,Seokhie;Jaechul Sung;洪,德乌克约
相关软件: 西蒙;极瘦的;存在…
主要字段: 计算机科学(68-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)

拉卡波什

4份文件引用(2012年至2016年)
软件作者: Carlos Cid、Shinsaku Kiyomoto、Jun Kurihara
相关软件: JBool;下雪;谷物…
主要字段: 阶、格、有序代数结构(06-XX);信息与通信理论,电路(94-XX)

意大利浓咖啡

5份文件引用(2017–2023)
软件作者: 埃琳娜·杜布罗瓦;见鬼,马丁
相关软件: 粮食;氚;山茶花…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

n图-HE

4份文件引用(2021–2024)
软件作者: 费比安·博埃默(Fabian Boemer)、老挝宜兴(Yixing Lao)、罗萨里奥·卡马罗塔(Rosario Cammarota)、卡西米尔·维尔津斯基(Casimir Wierzynski)
相关软件: 瞪羚;TFHE;MP2ML…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

汽车30

4份文件引用(2013–2018)
软件作者: 达斯,苏拉夫;迪潘维塔·罗伊·乔杜里
相关软件: 粮食;eSTREAM;CASTREAM…
主要字段: 数论(11-XX);场论与多项式(12-XX);动力系统和遍历理论(37-XX)…

层压

4份文件引用(2017–2022)
软件作者: Roy I、Porter DE、Bond MD、McKinley KS、Witchel E
相关软件: JFlow;JRIF;Jif…
主要字段: 计算机科学(68-XX)

公路跑步者

4份文件引用(2016–2022)
软件作者: 阿德南,拜萨尔;⑩ahin,苏哈普
相关软件: 西蒙;王子;Midori…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

卡斯特雷姆

2份文件引用(2014–2018)
软件作者: 达斯,苏拉夫;罗乔杜里,迪潘维塔
相关软件: eSTREAM;CAR30;谷物
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CBEAM公司

3份文件引用(2014–2021)
软件作者: Saarinen,Markku-Juhani O。
相关软件: 凯卡克;Salsa20;Chaskey…
主要字段: 信息与通信理论,电路(94-XX)

CIPRNG公司

3份文件引用(2018–2022)
软件作者: 巴基里,M。;库乔特,J.F。;Guyeux,C公司
相关软件: 测试U01;迪哈德;A2U2…
主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

电梯

1份文件引用(2014)
软件作者: 冯琴、王成、李振民、金和硕、周媛媛、吴友峰
相关软件: JFlow;M-Sim;SIFT…
主要字段: 计算机科学(68-XX)

MANTIS公司

3份文件引用(2016–2018)
软件作者: Yu Sasaki;Sasdrich,Pascal作者简介;Sim,Siang Meng先生
相关软件: 出席;卡坦;皮卡罗…
主要字段: 信息与通信理论,电路(94-XX)

罗哈默.js

3份文件引用(2021–2022)
软件作者: Daniel Gruss、Clémentine Maurice、Stefan Mangard
相关软件: 新加坡交易所;GitHub;OpenSSL…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

桑库斯

2份文件引用(2015–2017)
软件作者: Noorman J、Agten P、Daniels W、Strackx R、Van Herrewege A、Huygens C等人。
相关软件: TALx86;诚信;小爪哇…
主要字段: 计算机科学(68-XX)

WAGE公司

3份文件引用(2021–2023)
软件作者: Mark Aagaard、Riham AlTawy、Guang Gong、Kalikinkar Mandal、Raghvendra Rohit、Nusa Zidaric
相关软件: eSTREAM;出席;深啄
主要字段: 组合数学(05-XX);数论(11-XX);信息与通信理论,电路(94-XX)

A2U2型

2份文件引用(2011–2018)
软件作者: 大卫·M。;拉纳辛格特区。;拉森,T
相关软件: 测试U01;CIPRNG;NIST统计测试套件…
主要字段: 数值分析(65-XX);信息与通信理论,电路(94-XX)

CAPA公司

2份文件引用(2018–2023)
软件作者: O.Reparaz、L.De Meyer、B.Bilgin、V.Arribas、S.Nikova、V.Nikov、N.Smart
相关软件: 卡坦;出席;喀拉斯…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

EFADS公司

2份文件引用(2014)
软件作者: 魏贵义;吕荣星;邵军
相关软件: SiRiUS公司;普鲁特斯
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

FreeSpec标准

2份文件引用(2021–2022)
软件作者: 乐天T
相关软件: GitHub;辅酶q;层次构建者…
主要字段: 计算机科学(68-XX)

SIFA公司

2份文件引用(2005–2010)
软件作者: Tim McComb;卢克·威尔德曼
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

芳香

1份文件引用(2020)
软件作者: Sahay,R。;布兰科·G。;张,Z。;Debar,H。
相关软件: NetKAT;SGS;SDSNM…
主要字段: 计算机科学(68-XX)

博特鲁

1份文件引用(2021)
软件作者: Abo-Alsood,哈迪尔·哈迪;哈桑·拉希德·亚森
相关软件: OTRU;HXDTRU公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CASca公司

1份文件引用(2015)
软件作者: 沙米特·戈什;迪潘维塔·罗伊·乔杜里
相关软件: Salsa20;粮食;eSTREAM…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

DB锁定

1份文件引用(2015)
软件作者: 吴文玲;张磊;于晓丽
相关软件: 克利夫亚;卡坦;ARIA…
主要字段: 信息与通信理论,电路(94-XX)

DISE公司

1份文件引用(2010)
软件作者: Corliss,M.L.等人。
相关软件: SESC;MiBench公司;SimpleScalar…
主要字段: 计算机科学(68-XX)

EnclaveDom公司

在0个文档中引用
软件作者: 马塞拉·梅拉拉(Marcela S.Melara)、迈克尔·弗里德曼(Michael J.Freedman)、米克·鲍曼(Mic Bowman)
相关软件: 砂壳;普里夫曼;闭包库…
主要字段:

ExaGO公司

在0个文档中引用
软件作者: 阿比扬卡、施里朗;佩尔斯,斯拉文;塔马拉·贝切亚克;杰西·霍尔泽(Jesse Holzer);阿舍,曼奇内利;卡梅隆·卢瑟福
相关软件: PETSc;HiOp;拉贾…
主要字段:

风扇

1份文件引用(2021)
软件作者: 焦林;冯登国;郝永林;龚欣欣;杜少余
相关软件: 伊诺科;水果;eSTREAM…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

福图纳

1份文件引用(2018)
软件作者: McEvoy、Robert、James Curran、Paul Cotter、Colin Murphy
相关软件: 测试U01;数字Py;Python…
主要字段: 数论(11-XX);概率论与随机过程(60-XX);统计学(62-XX)…

LLLWBC公司

1份文件引用(2023)
软件作者: 张磊;吴瑞晨;张玉涵;郑亚飞;吴文玲
相关软件: SPECK;速度;存在…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

护城河

1份文件引用(2017)
软件作者: Sinha R、Rajamani SK、Seshia SA、Vaswani K
相关软件: 梅林;JFlow;层压…
主要字段: 计算机科学(68-XX)

Panoply公司

1份文件引用(2018)
软件作者: Shweta Shinde;大乐天;Shruti头饰;Prateek Saxena公司
相关软件: 迷你盒子;瑞安;VeriCount…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

普里瓦多

在0个文档中引用
软件作者: Karan Grover、Shruti Tople、Shweta Shinde、Ranjita Bhagwan、Ramachandran Ramjee
相关软件: PyTorch;SqueezeNet;凯龙…
主要字段:

RAppArmor公司

在0个文档中引用
软件作者: 杰罗恩·乌姆斯
相关软件: ggplot2;服务;rJava…
主要字段:

萨卢斯

在0个文档中引用
软件作者: 尼尔斯·阿文兹(Niels Avonds)、拉乌尔·斯特拉克(Raoul Strackx)、彼得·阿格滕(Pieter Agten)、弗兰克·皮森斯(Frank Piessens)
相关软件: 砂壳;普里夫曼;闭包库…
主要字段:

萨莫萨

1份文件引用(2012)
软件作者: 苏拉杜提·保罗;埃卡瓦特霍姆西里卡莫尔;克里斯·加吉
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

沙子

1份文件引用(2022)
软件作者: 陈世耀;范燕红;孙玲;傅勇;周海波;李永清;王美琴;王维嘉;郭淳
相关软件: SIMECK公司;克利夫亚;雷姆斯…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

软绑定(SoftBound)

1份文件引用(2020)
软件作者: Nagarakatte,S.、Zhao,J.、Martin,M.M.、Zdancewic,S
相关软件: Jinja线程;存档正式证据
主要字段: 计算机科学(68-XX)

SSU基

1份文件引用(2018)
软件作者: 李霍荣;潘,吴琼;林景强;程望钊;李冰雨
相关软件: 表面处理4
主要字段: 信息与通信理论,电路(94-XX)

剑DTA

在0个文档中引用
软件作者: 蔡军;邹鹏;马金鑫;何骏
相关软件: 戴坦;皮克斯;GitHub…
主要字段: 计算机科学(68-XX)

TxMon(星期一)

在0个文档中引用
软件作者: 巴特,沙克尔;加纳帕西,维诺;阿拉蒂·巴利加;米海克里斯托多雷斯库
相关软件:
主要字段:

VeriCount公司

1份文件引用(2018)
软件作者: 托普,灌木;Park,Soyeon;Kang,Min Suk;Prateek Saxena公司
相关软件: 迷你盒子;瑞安;Panoply…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

野餐

在0个文档中引用
软件作者: 丹尼尔·凯尔斯(Daniel Kales);塞巴斯蒂安·拉马赫;克里斯蒂安·雷赫伯格(Christian Rechberger);瓦尔赫,罗马人;马里奥·沃纳
相关软件:
主要字段:

R2U2型

在0个文档中引用
软件作者: 舒曼,J。;穆斯布鲁克,P。;K.Y.罗齐尔。
相关软件:
主要字段:

轩辕

在0个文档中引用
软件作者: 李国良;周、宣和
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件