×

Found 10 Software Packages (Results 1–10)

NRL

Software Authors:   Meadows, Catherine
Cited in: 29 Publications (1996–2018)
Related Software: Maude; AVISPA; OFMC; Maude-NPA; Casper; ProVerif; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

zk-SNARK

Software Authors:   Ben-Sasson, Eli; Chiesa, Alessandro; Tromer, Eran; Virza, Madars
Cited in: 15 Publications (2014–2022)
Related Software: Pinocchio; SNARKs for C; ADSNARK; GitHub; Geppetto; Marlin; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Plutus

Software Authors:   Kallahalla, M., Riedel, E., Swaminathan, R., Wang, Q., Fu, K.
Cited in: 6 Publications (2009–2019)
Related Software: SiRiUS; Dynamo; Cryptfs; CryptDB; Cassandra; Geppetto; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

DRNG

Software Authors:   Intel
Cited in: 5 Publications (2014–2018)
Related Software: Diehard; TestU01; dieharder; MersenneTwister; Paraperm; Ent; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

StegFS

Software Authors:   McDonald, A.D., Kuhn, M.G.
Cited in: 3 Publications (2006–2018)
Related Software: Iolus; Cryptfs; TrueCrypt; Keccak
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PandA

Software Authors:   Chuengsatiansup, Chitchanok; Naehrig, Michael; Ribarski, Pance; Schwabe, Peter
Cited in: 2 Publications (2014–2015)
Related Software: EAGL; Pinocchio; Charm; RELIC; PBC Library; eBACS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

TRESOR

Software Authors:   Müller, T., Freiling, F.C., Dewald, A.
Cited in: 2 Publications (2014–2020)
Related Software: Cryptkeeper; PixelVault; AESSE; Copker; stress-ng; TransCrypt; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Copker

Software Authors:   Lin, J., Guan, L., Ma, Z., Luo, B., Xia, L., Jing, J.
Cited in: 1 Publication (2020)
Related Software: PixelVault; Cryptkeeper; TRESOR; AESSE; stress-ng; TransCrypt; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

DryGASCON

Software Authors:   Liang, Huicong; Mesnager, Sihem; Wang, Meiqin
Cited in: 1 Publication (2022)
Related Software: GitHub
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PixelVault

Software Authors:   Vasiliadis, G., Athanasopoulos, E., Polychronakis, M., Ioannidis, S.
Cited in: 1 Publication (2020)
Related Software: Cryptkeeper; TRESOR; AESSE; Copker; stress-ng; TransCrypt; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)