×

Found 23 Software Packages (Results 1–23)

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: