McEliece Software Authors: Heyse, Stefan; Moradi, Amir; Paar, Christof Cited in: 270 Publications (1981–2022) Related Software: NTRU; Magma; BIKE; NTL; Durandal; SageMath; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)
Stranger Software Authors: Fang Yu, Muath Alkhalaf, Tevfik Bultan Cited in: 18 Publications (2011–2023) Related Software: HAMPI; Z3str3; Norn; S3; CVC4; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
S3 Software Authors: Trinh MT, Chu DH, Jaffar J Cited in: 9 Publications (2015–2023) Related Software: HAMPI; Stranger; z3; Z3-str; Z3str3; Norn; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Saner Software Authors: Balzarotti, D., Cova, M., Felmetsger, V., Jovanovic, N., Kirda, E., Kruegel, C., Vigna, G. Cited in: 8 Publications (2009–2021) Related Software: Stranger; TAJ; Merlin; CVC4; Z3str2; Z3str3; … Main Fields: Computer science (68-XX)
KJS Software Authors: Daejun Park, Andrei Ştefănescu, Grigore Roşu Cited in: 8 Publications (2015–2021) Related Software: K-Java; Maude; Coq; JavaScript; K Prover; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
MulVAL Software Authors: Ou, X., Govindavajhala, S., Appel, A.W. Cited in: 5 Publications (2010–2020) Related Software: ADEPTS; SHARPE; CyGraph; TCPDUMP; SecurITree; SeaMonster; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Pixy Software Authors: N. Jovanovic, C. Kruegel, E. Kirda Cited in: 3 Publications (2014–2020) Related Software: AMNESIA; TAJ; Dytan; F4F; GitHub; PQL; … Main Fields: Computer science (68-XX)
Angelix Software Authors: S. Mechtaev, J. Yi, A. Roychoudhury Cited in: 1 Publication (2017) Related Software: SemFix; Prophet; Codeflaws; Qlose; JFIX; GZoltar; … Main Fields: Computer science (68-XX)
SmartCheck Software Authors: Tikhomirov, S., et al. Cited in: 2 Publications (2021) Related Software: Vandal; GitHub; eThor Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
AMASIVE Software Authors: Huss, Sorin A.; Stöttinger, Marc; Zohner, Michael Cited in: 1 Publication (2013) Related Software: PRESENT Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Binary Ninja Software Authors: Vector35 Cited in: 0 Publications Related Software: Ghidra; SENinja; Triton; Ponce; Valgrind; KLEE; … Main Fields: –
ConfigChecker Software Authors: Al-Shaer, E., Alsaleh, M. Cited in: 1 Publication (2018) Related Software: nftables; iptables; pgf; Routing; LOFT; margrave; … Main Fields: Computer science (68-XX)
CyGraph Software Authors: Noel, S.; Harley, E.; Tam, K.; Limiero, M.; Share, M. Cited in: 1 Publication (2018) Related Software: MulVAL; TCPDUMP Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)
DEEPSEC Software Authors: X. Ling, S. Ji, J. Zou, J. Wang, C. Wu, B. Li, T. Wang Cited in: 0 Publications Related Software: Advbox; ART; Model Zoo; Februus; BadNets; TrojAI; … Main Fields: –
EIOD Software Authors: Deng, Yi; Zhang, Yang; Cheng, Liang; Sun, Xiaoshan Cited in: 0 Publications Related Software: BitBlaze Main Fields: Computer science (68-XX)
Moat Software Authors: Sinha R, Rajamani SK, Seshia SA, Vaswani K Cited in: 1 Publication (2017) Related Software: SGX; Privtrans; F*; Fable; EROS; VC3; … Main Fields: Computer science (68-XX)
OCTAVE Software Authors: Christopher J. Alberts, Audrey J. Dorofee Cited in: 1 Publication (2013) Related Software: STORM-RM; MAGERIT; CRAMM; S-PORT Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)
PyCG Software Authors: Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos Cited in: 0 Publications Related Software: ast; GATEKEEPER; Synode; Judge; WALA; Node.js; … Main Fields: –
SecGraph Software Authors: Ji S, Li W, Mittal P, Hu X, Beyah RA Cited in: 1 Publication (2020) Related Software: DeepWalk; struc2vec; L-GRAAL; MAGNA++; node2vec; SANA; … Main Fields: Computer science (68-XX)
SENinja Software Authors: Luca Borzacchiello; Emilio Coppa; Camil Demetrescu Cited in: 0 Publications Related Software: Ghidra; Triton; Ponce; Valgrind; Binary Ninja; KLEE; … Main Fields: –
SGS Software Authors: Wang, Y.; Hu, T.; Tang, G.; Xie, J.; Lu, J. Cited in: 1 Publication (2020) Related Software: OpenFlowSIA; SDSNM; Flowfence; TDDAD; FADM; JESS; … Main Fields: Computer science (68-XX)
SwordDTA Software Authors: Cai, Jun; Zou, Peng; Ma, Jinxin; He, Jun Cited in: 0 Publications Related Software: Dytan; Pixy; GitHub; DART; KLEE; CUTE Main Fields: Computer science (68-XX)
Taintscope Software Authors: Wang T, Wei T, Gu G, Zou W Cited in: 0 Publications Related Software: – Main Fields: –