Casper Cited in 83 Documents (1999–2018) Software Authors: Gavin Lowe / Oxford University Computing Laborator Related Software: AVISPA; TAPS; OFMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
AVISPA Cited in 82 Documents (2005–2021) Software Authors: European Community under the Information Society Technologies Programme (1998-2002) Related Software: Casper; ProVerif; OFMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
CLEFIA Cited in 70 Documents (2007–2022) Software Authors: Rezaeipour, Davood; Said, Mohamad Rushdan Md. Related Software: PRESENT; Piccolo; LBlock; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Quantum theory (81-XX); …
CMQV+ Cited in 38 Documents (2005–2022) Software Authors: Li, Hui; Wu, Chuankun Related Software: NAXOS; AVISPA; EC2C-PAKA; … Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …
EasyCrypt Cited in 33 Documents (2011–2022) Software Authors: Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella Related Software: Coq; F*; AVISPA; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
CRYPTIM Cited in 29 Documents (2001–2015) Software Authors: Ustimenko, Vasyl Related Software: CRYPTALL; Galois Field Arithmetic Library Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
VIFF Cited in 15 Documents (2009–2022) Software Authors: Damgård, Ivan; Geisler, Martin; Krøigaard, Mikkel; Nielsen, Jesper Buus Related Software: Sharemind; FairplayMP; TASTY; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
QUAD Cited in 15 Documents (2006–2020) Software Authors: Berbain, Côme; Gilbert, Henri; Patarin, Jacques Related Software: McEliece; eSTREAM; ZHFE; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
Chaskey Cited in 14 Documents (2014–2022) Software Authors: Mouha, N.; Mennink, B.; Van Herrewege, A.; Watanabe, D.; Preneel, B.; Verbauwhede, I.; Joux, A.; Youssef, A. Related Software: SPECK; Salsa20; SIMON; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
M-TREE Cited in 14 Documents (2005–2021) Software Authors: Lu, Chenghuai; Zhang, Tao; Shi, Weidong; Lee, Hsien-Hsin S. Related Software: BISIMULATOR; CADP; Exp.Open; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)
G-Hadoop Cited in 8 Documents (2014–2018) Software Authors: Zhao, Jiaqi; Wang, Lizhe; Tao, Jie; Chen, Jinjun; Sun, Weiye; Ranjan, Rajiv; Kolodziej, Joanna; Streit, Achim; Georgakopoulos, Dimitrios Related Software: Hadoop; MapReduce; CUDA; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
graph2vec Cited in 9 Documents (2018–2021) Software Authors: Annamalai Narayanan, Mahinthan Chandramohan, Rajasekar Venkatesan, Lihui Chen, Yang Liu, Shantanu Jaiswal Related Software: node2vec; DeepWalk; word2vec; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
cleverhans Cited in 5 Documents (2020–2022) Software Authors: N. Papernot, I. Goodfellow, R. Sheatsley, R. Feinman, P. McDaniel Related Software: PyTorch; DeepFool; Foolbox; … Main Fields: Computer science (68-XX)
NaCl Cited in 9 Documents (2012–2021) Software Authors: Bernstein, Daniel J.; Lange, Tanja; Schwabe, Peter Related Software: OpenSSL; JFlow; eBACS; … Main Fields: Algebraic geometry (14-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
KeyGraph Cited in 3 Documents (2001–2015) Software Authors: Ohsawa Y, Benson NE, Yachida M Related Software: KEA; C4.5 Main Fields: Computer science (68-XX)
FAST Cited in 7 Documents (2011–2020) Software Authors: Conchinha, Bruno; Basin, David A.; Caleiro, Carlos Related Software: Akiss; YAPA; Apte; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
Gazelle Cited in 5 Documents (2021–2022) Software Authors: Chiraag Juvekar, Vinod Vaikuntanathan, Anantha Chandrakasan Related Software: MNIST; CUDA; SEAL; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
BadNets Cited in 3 Documents (2019–2023) Software Authors: Tianyu Gu, Brendan Dolan-Gavitt, Siddharth Garg Related Software: ImageNet; Grad-CAM; Model Zoo; … Main Fields: Statistics (62-XX); Computer science (68-XX); Geophysics (86-XX)
ConSpec Cited in 5 Documents (2008–2013) Software Authors: Aktug, Irem; Naliuka, Katsiaryna Related Software: SPIN; AspectJ; SLAM; … Main Fields: Computer science (68-XX)
LoPSiL Cited in 3 Documents (2009–2018) Software Authors: Ligatti, Jay; Rickey, Billy; Saigal, Nalin Related Software: AspectJ; BCEL; TaintDroid Main Fields: Computer science (68-XX)
Aglet Cited in 3 Documents (2010–2017) Software Authors: Morgenstern, Jamie; Licata, Daniel R. Related Software: Laminar; Haskell; Ynot; … Main Fields: Computer science (68-XX)
Jasmin Cited in 3 Documents (2019–2022) Software Authors: José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub Related Software: HACL*; TensorFlow; Strymonas; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
subgraph2vec Cited in 2 Documents (2019–2020) Software Authors: Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu, Santhoshkumar Saminathan Related Software: node2vec; Python; FastDTW; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
General Purpose Hash Function Library Cited in 2 Documents (2009–2018) Software Authors: Arash Partow Related Software: Pastry; Bandera; dSPIN; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
JavaSPI Cited in 1 Document (2018) Software Authors: Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo Related Software: MJ; AGVI; Bouncy Castle; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
LDYIS Cited in 3 Documents (2008–2011) Software Authors: Lomuscio, Alessio; Penczek, Wojciech Related Software: MCMAS-X; MCMAS; Casper; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
nGraph-HE Cited in 2 Documents (2021–2022) Software Authors: Fabian Boemer, Yixing Lao, Rosario Cammarota, Casimir Wierzynski Related Software: TFHE; MP2ML; FHEW; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
POEx Cited in 3 Documents (2018–2020) Software Authors: Forler, Christian; List, Eik; Lucks, Stefan; Wenzel, Jakob Related Software: SKINNY; tweakey; COBRA; … Main Fields: Information and communication theory, circuits (94-XX)
S-RIP Cited in 3 Documents (2004–2009) Software Authors: Wan, Tao; Kranakis, Evangelos; van Oorschot, Paul C. Related Software: – Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TS# Cited in 2 Documents (2014–2017) Software Authors: Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin Related Software: JavaScript; ProVerif; Ur/Web; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
advertorch Cited in 1 Document (2023) Software Authors: Gavin Weiguang Ding, Luyu Wang, Xiaomeng Jin Related Software: PyTorch; SENSE; Foolbox; … Main Fields: Statistics (62-XX)
Arya Cited in 2 Documents (2018–2022) Software Authors: Bootle, Jonathan; Cerulli, Andrea; Groth, Jens; Jakobsen, Sune; Maller, Mary Related Software: vSQL; libiop; Libra; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
BTSR Cited in 2 Documents (2004–2008) Software Authors: Zhu, Cheng; Zhou, Ming-zheng; Xu, Jin-sheng Related Software: – Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
DeepRobust Cited in 1 Document (2023) Software Authors: Yaxin Li, Wei Jin, Han Xu, Jiliang Tang Related Software: PyTorch; GNNGuard; NATTACK; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
DUKPT Cited in 2 Documents (2010–2021) Software Authors: Brier, Eric; Peyrin, Thomas Related Software: HMQV Main Fields: Information and communication theory, circuits (94-XX)
EasyUC Cited in 2 Documents (2021–2022) Software Authors: Canetti, R., Stoughton, A., Varia, M. Related Software: Wysteria; HyCC; JIFF; … Main Fields: Computer science (68-XX)
FORSAKES Cited in 2 Documents (2015–2019) Software Authors: Dousti, Mohammad Sadeq; Jalili, Rasool Related Software: FrodoKEM; NAXOS; HMQV Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
MuSeQoR Cited in 1 Document (2006) Software Authors: Reddy, T.Bheemarjuna; Sriram, S.; Manoj, B.S.; Murthy, C.Siva Ram Related Software: GloMoSim Main Fields: Computer science (68-XX)
NATTACK Cited in 1 Document (2021) Software Authors: Yandong Li, Lijun Li, Liqiang Wang, Tong Zhang, Boqing Gong Related Software: advertorch; cleverhans; PyTorch; … Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
PySEAL Cited in 1 Document (2022) Software Authors: Alexander J. Titus, Shashwat Kishore, Todd Stavish, Stephanie M. Rogers, Karl Ni Related Software: SEAL; Python; GitHub Main Fields: Information and communication theory, circuits (94-XX)
SCTP Cited in 0 Documents Software Authors: Lindskog, Stefan; Brunstrom, Anna Related Software: – Main Fields: –
SecML Cited in 0 Documents Software Authors: Marco Melis, Ambra Demontis, Maura Pintor, Angelo Sotgiu, Battista Biggio Related Software: PyTorch; Python; EMBER; … Main Fields: –
SeLINQ Cited in 2 Documents (2014–2017) Software Authors: Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei Related Software: Ur/Web; K Prover; Links; … Main Fields: Computer science (68-XX)
SeVe Cited in 2 Documents (2012–2015) Software Authors: Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song Related Software: PRISM; PAT; Casper; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SPVT-II Cited in 2 Documents (2006–2009) Software Authors: Li, MengJun; Zhou, Ti; Li, ZhouJun Related Software: OCaml Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
AdversariaLib Cited in 0 Documents Software Authors: Igino Corona, Battista Biggio, Davide Maiorca Related Software: Scikit; Python Main Fields: –
BPA-Sec4Cloud Cited in 1 Document (2016) Software Authors: Lins, Fernando; Damasceno, Julio; Medeiros, Robson; Sousa, Erica; Rosa, Nelson Related Software: BPMN2; Activiti; Axis2; … Main Fields: Computer science (68-XX)
BPFroid Cited in 0 Documents Software Authors: Yaniv Agman; Danny Hendler Related Software: AppTrace; MADAM; ARTDroid; … Main Fields: –
CANAL Cited in 0 Documents Software Authors: Chungha Sung, Brandon Paulsen, Chao Wang Related Software: Crab-llvm; KLEE; SMACK; … Main Fields: –
CardS4 Cited in 1 Document (2001) Software Authors: Goré, Rajeev Prabhakar; Thê Nguyên, Phuong Related Software: – Main Fields: Computer science (68-XX)
CARRADS Cited in 1 Document (2010) Software Authors: Joseph, John Felix Charles; Das, Amitabha; Lee, Bu-Sung; Seet, Boon-Chong Related Software: – Main Fields: Computer science (68-XX)
Chiron Cited in 0 Documents Software Authors: Tyler Hunt, Congzheng Song, Reza Shokri, Vitaly Shmatikov, Emmett Witchel Related Software: Privado; PyTorch; SqueezeNet; … Main Fields: –
CoChecker Cited in 1 Document (2014) Software Authors: Cui, Xingmin; Yu, Da; Chan, Patrick; Hui, Lucas C.K.; Yiu, S.M.; Qing, Sihan Related Software: DroidBench Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
CoCon Cited in 1 Document (2021) Software Authors: Popescu, Andrei; Lammich, Peter; Hou, Ping Related Software: Archive Formal Proofs; CoSMed; FlowFox; … Main Fields: Computer science (68-XX)
Cognition Cited in 1 Document (2014) Software Authors: Tantar, Emilia; Palattella, Maria Rita; Avanesov, Tigran; Kantor, Miroslaw; Engel, Thomas Related Software: ParaDisEO Main Fields: Computer science (68-XX)
Contego Cited in 1 Document (2017) Software Authors: Hasan, Monowar; Mohan, Sibin; Pellizzoni, Rodolfo; Bobba, Rakesh B. Related Software: – Main Fields: Computer science (68-XX)
CyNER Cited in 0 Documents Software Authors: Md Tanvirul Alam, Dipkamal Bhusal, Youngja Park, Nidhi Rastogi Related Software: MALOnt; RoBERTa; Transformers; … Main Fields: –
d3p Cited in 0 Documents Software Authors: Lukas Prediger, Niki Loppi, Samuel Kaski, Antti Honkela Related Software: PyVacy; Theano; CUDA; … Main Fields: –
DarkneTZ Cited in 0 Documents Software Authors: Fan Mo, Ali Shahin Shamsabadi, Kleomenis Katevas, Soteris Demetriou, Ilias Leontiadis, Andrea Cavallaro, Hamed Haddadi Related Software: Privado; PyTorch; SqueezeNet; … Main Fields: –
DBlock Cited in 1 Document (2015) Software Authors: Wu, Wenling; Zhang, Lei; Yu, Xiaoli Related Software: ARIA; KATAN; Skein Hash; … Main Fields: Information and communication theory, circuits (94-XX)
EAdroid Cited in 1 Document (2014) Software Authors: Liang, Hongliang; Dong, Yu; Wang, Bin; Liu, Shuchang Related Software: – Main Fields: Computer science (68-XX)
Fortify Cited in 0 Documents Software Authors: Natarajan Meghanathan Related Software: – Main Fields: –
GUAP Cited in 1 Document (2023) Software Authors: Zhang, Yanghao; Ruan, Wenjie; Wang, Fu; Huang, Xiaowei Related Software: PRoA; DIMBA; 3DVerifier; … Main Fields: Computer science (68-XX)
IntraBuilder Cited in 1 Document (1997) Software Authors: Borland; Lücke, Bernhard Author Profile; Neßler, Bernhard; Schettl, Denis Related Software: – Main Fields: Computer science (68-XX)
ISDF Cited in 1 Document (2009) Software Authors: Alkussayer, Abdulaziz; Allen, William H. Related Software: – Main Fields: Computer science (68-XX)
ISTA Cited in 1 Document (2011) Software Authors: Xu, Dianxiang Related Software: – Main Fields: Computer science (68-XX)
MadDroid Cited in 0 Documents Software Authors: Tianming Liu, Haoyu Wang, Li Li, Xiapu Luo, Feng Dong, Yao Guo, Liu Wang, Tegawendé F. Bissyandé, Jacques Klein Related Software: LibRadar; IccTA; FraudDroid; … Main Fields: –
MemShield Cited in 1 Document (2020) Software Authors: Santucci, Pierpaolo; Ingrassia, Emiliano; Picierro, Giulio; Cesati, Marco Related Software: HyperCrypt; ARMORED; Salsa20; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
MILENIO Cited in 1 Document (2000) Software Authors: Pérez Díaz, Jesús Arturo; Álvarez Gutiérrez, Darío; García Barón, Sara Isabel Related Software: – Main Fields: Computer science (68-XX)
MiniCPS Cited in 0 Documents Software Authors: Daniele Antonioli, Nils Ole Tippenhauer Related Software: OMNet++; pycomm; POX; … Main Fields: –
Mir Cited in 0 Documents Software Authors: Nikos Vasilakis, Cristian-Alexandru Staicu, Greg Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel Related Software: Retire.js; ConflictJS; Synode; … Main Fields: –
MixTrain Cited in 0 Documents Software Authors: Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana Related Software: SkipNet; Adam; Marabou; … Main Fields: –
MLCapsule Cited in 0 Documents Software Authors: Lucjan Hanzlik, Yang Zhang, Kathrin Grosse, Ahmed Salem, Max Augustin, Michael Backes, Mario Fritz Related Software: Privado; PyTorch; SqueezeNet; … Main Fields: –
MoSS Cited in 1 Document (2021) Software Authors: Herzberg, Amir; Leibowitz, Hemi; Syta, Ewa; Wrótniak, Sara Related Software: CryptHOL; TAMARIN; GNUC; … Main Fields: Information and communication theory, circuits (94-XX)
MURAVE Cited in 1 Document (2020) Software Authors: Lau, Terry Shue Chien; Tan, Chik How Related Software: Durandal Main Fields: Information and communication theory, circuits (94-XX)
OpenAttack Cited in 0 Documents Software Authors: Guoyang Zeng, Fanchao Qi, Qianrui Zhou, Tingji Zhang, Bairu Hou, Yuan Zang, Zhiyuan Liu, Maosong Sun Related Software: ELECTRA; spaCy; TextAttack; … Main Fields: –
PADRES Cited in 0 Documents Software Authors: Fábio Pereira, Paul Crocker, Valderi R.Q. Leithardt Related Software: Json-GUI; GoAccess; Python Main Fields: –
Privado Cited in 0 Documents Software Authors: Karan Grover, Shruti Tople, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee Related Software: PyTorch; SqueezeNet; Chiron; … Main Fields: –
PrivEdge Cited in 0 Documents Software Authors: Ali Shahin Shamsabadi, Adria Gascon, Hamed Haddadi, Andrea Cavallaro Related Software: Keras; TensorFlow; Keras-GAN; … Main Fields: –
pyCANON Cited in 0 Documents Software Authors: Judith Sáinz-Pardo Díaz, Álvaro López García Related Software: ARX; UCI-ml; PRIVAaaS; … Main Fields: –
Raiden Cited in 0 Documents Software Authors: Julio César Hernández Castro; Javier Polimón Olabarrieta Related Software: – Main Fields: –
RAppArmor Cited in 0 Documents Software Authors: Jeroen Ooms Related Software: ggplot2; Rserve; rJava; … Main Fields: –
RLizard Cited in 1 Document (2023) Software Authors: Lee, J.; Kim, D.; Lee, H.; Lee, Y.; Cheon, JH Related Software: strongSwan; NTRU; liboqs; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SAND Cited in 1 Document (2022) Software Authors: Chen, Shiyao; Fan, Yanhong; Sun, Ling; Fu, Yong; Zhou, Haibo; Li, Yongqing; Wang, Meiqin; Wang, Weijia; Guo, Chun Related Software: SIMECK; CLEFIA; Remus; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SCAIMO Cited in 1 Document (2009) Software Authors: Dastjerdi, Amir Vahid; Tabatabaei, Sayed Gholam Hassan; Kadir, Wan M.N.Wan; Ibrahim, Suhaimi; Sarafian, Elahe Related Software: – Main Fields: Computer science (68-XX)
SecML Malware Cited in 0 Documents Software Authors: Luca Demetrio, Battista Biggio Related Software: EMBER; DEAP; PyTorch; … Main Fields: –
sHMQV Cited in 1 Document (2015) Software Authors: Zhao, Shijun; Zhang, Qianying Related Software: – Main Fields: Information and communication theory, circuits (94-XX)
SPARKSkein Cited in 0 Documents Software Authors: Chapman, Roderick; Botcazou, Eric; Wallenburg, Angela Related Software: VeriFast; VCC; Alt-Ergo; … Main Fields: Information and communication theory, circuits (94-XX)
SwordDTA Cited in 0 Documents Software Authors: Cai, Jun; Zou, Peng; Ma, Jinxin; He, Jun Related Software: Dytan; Pixy; GitHub; … Main Fields: Computer science (68-XX)
TenSEAL Cited in 0 Documents Software Authors: Ayoub Benaissa, Bilal Retiat, Bogdan Cebere, Alaa Eddine Belfedhal Related Software: CUDA; SEAL; TFHE; … Main Fields: –
TrojanZoo Cited in 0 Documents Software Authors: Ren Pang, Zheng Zhang, Xiangshan Gao, Zhaohan Xi, Shouling Ji, Peng Cheng, Ting Wang Related Software: Advbox; ART; Model Zoo; … Main Fields: –
Uptane Cited in 1 Document (2023) Software Authors: – Related Software: Ettercap Main Fields: Computer science (68-XX)
Volpano Smith Cited in 0 Documents Software Authors: Gregor Snelting; Daniel Wasserrab Related Software: Isabelle/HOL Main Fields: –
W3Bcrypt Cited in 1 Document (2006) Software Authors: Stavrou, Angelos; Locasto, Michael E.; Keromytis, Angelos D. Related Software: – Main Fields: Information and communication theory, circuits (94-XX)
WAPN Cited in 1 Document (2009) Software Authors: Kong, Fan-Rui; Li, Chun-Wen; Ding, Qing-Qing; Cui, Guang-Zhao; Cui, Bing-Yi Related Software: – Main Fields: Computer science (68-XX)
Web Canary Cited in 1 Document (2009) Software Authors: Wang, Jiang; Ghosh, Anup; Huang, Yih Related Software: – Main Fields: Computer science (68-XX)
CalcChecksum Cited in 0 Documents Software Authors: Michael Buesch Related Software: – Main Fields: –