×

Found 16 Software Packages (Results 1–16)

LED

Software Authors:   Guo J., Peyrin T., Poschmann A., Robshaw M.J.B.
Cited in: 66 Publications (2011–2023)
Related Software: PRESENT; KTANTAN; PRINCE; KATAN; Piccolo; SIMON; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

NOEKEON

Software Authors:   Daemen, J., Peeters, M., Assche, G.V., Rijmen, V.
Cited in: 26 Publications (2002–2022)
Related Software: PRESENT; SPECK; SIMON; LED; PRINCE; SIMECK; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

KLEIN

Software Authors:   Zheng Gong, Svetla Nikova, Yee Wei Law
Cited in: 20 Publications (2011–2020)
Related Software: PRESENT; PRINCE; KTANTAN; KATAN; LED; TWINE; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

mCrypton

Software Authors:   Plos, Thomas; Dobraunig, Christoph; Hofinger, Markus; Oprisnik, Alexander; Wiesmeier, Christoph; Wiesmeier, Johannes
Cited in: 19 Publications (2008–2021)
Related Software: PRESENT; HIGHT; KTANTAN; KATAN; CLEFIA; Piccolo; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Itubee

Software Authors:   Karakoç, Ferhat; Demirci, Hüseyin; Harmancı, A.Emre
Cited in: 6 Publications (2013–2016)
Related Software: KATAN; PRINCE; PRESENT; LBlock; SIMON; KTANTAN; …
Main Fields: Information and communication theory, circuits (94-XX)

CHAM

Software Authors:   Koo, Bonwook; Roh, Dongyoung; Kim, Hyeonjin; Jung, Younghoon; Lee, Dong-Geon; Kwon, Daesung
Cited in: 5 Publications (2018–2022)
Related Software: LEA; SIMON; SIMECK; Chaskey; TEA; PySMT; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

Flask

Software Authors:   Mainland, G., Morrisett, G., Welsh, M.
Cited in: 3 Publications (2010–2011)
Related Software: MiniML; TAG; Ynot; Irdis; Agda; MetaOCaml; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

PHOTON

Software Authors:   Nalla Anandakumar, N.; Peyrin, Thomas; Poschmann, Axel
Cited in: 5 Publications (2014–2018)
Related Software: SPECK; SKINNY; SIMON; PRESENT; spongent; LED; …
Main Fields: Number theory (11-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

CLDC

Software Authors:   –
Cited in: 2 Publications (2005–2018)
Related Software: K Prover; Jinja not Java; Archive Formal Proofs; BicolanoMT; Jinja Threads; K-Java; …
Main Fields: Computer science (68-XX)

MicroJIAC

Software Authors:   Marcel Patzlaff; Erdene-Ochir Tuguldur
Cited in: 0 Publications
Related Software: Linda; 2APL
Main Fields:

COROR

Software Authors:   Tai, W., Keeney, J., O’Sullivan, D.
Cited in: 1 Publication (2014)
Related Software: Ontobee; ELK; Snorocket; Protege; DReW; WebPIE; …
Main Fields: Computer science (68-XX)

DeepRT

Software Authors:   Kang, Woochul; Chung, Jaeyong
Cited in: 1 Publication (2019)
Related Software: AlexNet; GitHub; Model Zoo; TensorRT; ImageNet; Caffe
Main Fields: Computer science (68-XX)

DiffRNN

Software Authors:   Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao
Cited in: 1 Publication (2021)
Related Software: NeuroDiff; ReluDiff; POPQORN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields: Computer science (68-XX)

DPWSim

Software Authors:   Han SN, Lee GM, Crespi N, Luong NV, Heo K, Brut M, Gatellier P.
Cited in: 0 Publications
Related Software: GloudSim; GroudSim; DCSim; SimpleIoTSimulator; WSNet; Valgrind; …
Main Fields:

FAN

Software Authors:   Jiao, Lin; Feng, Dengguo; Hao, Yonglin; Gong, Xinxin; Du, Shaoyu
Cited in: 1 Publication (2021)
Related Software: Enocoro; Fruit; eSTREAM; eBACS
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Shiftry

Software Authors:   Kumar, A., Seshadri, V., Sharma, R.
Cited in: 1 Publication (2021)
Related Software: FastGRNN; gRPC; AI2; DL2; ERAN; SyReNN; …
Main Fields: Computer science (68-XX)