ADSNARK公司 12份文件引用(2016–2023) 软件作者: Backes,M.、Barbosa,M.,Fiore,D.、Reischuk,R.M。 相关软件: 皮诺奇;C的SNARK;Geppetto… 主要字段: 数论(11-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
桑库斯 2份文件引用(2015–2017) 软件作者: Noorman J、Agten P、Daniels W、Strackx R、Van Herrewege A、Huygens C等人。 相关软件: TALx86;诚信;小爪哇… 主要字段: 计算机科学(68-XX)
EnclaveDom公司 在0个文档中引用 软件作者: 马塞拉·梅拉拉(Marcela S.Melara)、迈克尔·弗里德曼(Michael J.Freedman)、米克·鲍曼(Mic Bowman) 相关软件: 砂壳;普里夫曼;闭包库… 主要字段: ——
普里瓦多 在0个文档中引用 软件作者: Karan Grover、Shruti Tople、Shweta Shinde、Ranjita Bhagwan、Ramachandran Ramjee 相关软件: PyTorch;挤压网;凯龙… 主要字段: ——