×

Found 37 Software Packages (Results 1–37)

SPINS

Software Authors:   ADRIAN PERRIG, ROBERT SZEWCZYK, J.D. TYGAR, VICTOR WEN and DAVID E. CULLER
Cited in: 26 Publications (2002–2022)
Related Software: TinyECC; TAG; AVISPA; TelegraphCQ; spongent; PRESENT; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KASUMI

Software Authors:   Satoh, Akashi; Morioka, Sumio
Cited in: 20 Publications (2002–2016)
Related Software: Camellia; Whirlpool; SageMath; VBFlib; MatPack; CrypTool; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CryptDB

Software Authors:   Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan
Cited in: 16 Publications (2013–2021)
Related Software: GitHub; Cassandra; HBase; Bigtable; Accumulo; HElib; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

NaCl

Software Authors:   Bernstein, Daniel J.; Lange, Tanja; Schwabe, Peter
Cited in: 9 Publications (2012–2021)
Related Software: OpenSSL; JFlow; eBACS; Salsa20; RELIC; Poly1305-AES; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

ConfiChair

Software Authors:   Arapinis, Myrto; Bursuc, Sergiu; Ryan, Mark
Cited in: 4 Publications (2013–2021)
Related Software: ProVerif; CoSMed; FlowFox; CAVA LTL Modelchecker; Ur/Web; Jif; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Saturnin

Software Authors:   Canteaut, A., et al.
Cited in: 7 Publications (2020–2022)
Related Software: SIMON; tweakey; SKINNY; GIFT; CRAFT; Camellia; …
Main Fields: Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

Flow Caml

Software Authors:   V. Simonet
Cited in: 5 Publications (2009–2018)
Related Software: Jif; HLIO; Haskell; JFlow; Creol; SeLINQ; …
Main Fields: Computer science (68-XX)

SCiFI

Software Authors:   Osadchy, M., Pinkas, B., Jarrous, A., Moskovich, B.
Cited in: 4 Publications (2012–2019)
Related Software: VeriFast; Spec#; KRAKATOA; Kangaroo
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

CoSMed

Software Authors:   Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
Cited in: 3 Publications (2016–2021)
Related Software: FlowFox; CAVA LTL Modelchecker; Ur/Web; Jif; seL4; CakeML; …
Main Fields: Computer science (68-XX)

TFRP

Software Authors:   Chang, C.-C.; Li, Y.-C.; Huang, W.-H.
Cited in: 2 Publications (2015–2019)
Related Software: ARGUS; V-MDAV; PrivateLR; sdcMicro
Main Fields: Statistics (62-XX)

VC3

Software Authors:   Schuster F, Costa M, Fournet C, Gkantsidis C, Peinado M, Mainar-Ruiz G, Russinovich M
Cited in: 3 Publications (2017–2020)
Related Software: Apache Spark; SGX; Privtrans; F*; Fable; Moat; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

EFADS

Software Authors:   Wei, Guiyi; Lu, Rongxing; Shao, Jun
Cited in: 2 Publications (2014)
Related Software: SiRiUS; Plutus
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MAGERIT

Software Authors:   –
Cited in: 1 Publication (2013)
Related Software: OCTAVE; STORM-RM; CRAMM; S-PORT
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MARISM-A

Software Authors:   Robles, Sergi; Mir, Joan; Ametller, Joan; Borrell, Joan
Cited in: 2 Publications (2002)
Related Software:
Main Fields: Computer science (68-XX)

P3S

Software Authors:   Partha Pal; Greg Lauer; Joud Khoury; Nick Hoff; Joe Loyall
Cited in: 1 Publication (2018)
Related Software: Cassandra; HBase; SNOBOL; GraphBLAS; moleculaRnetworks; GeneRank; …
Main Fields: Computer science (68-XX)

SCTP

Software Authors:   Lindskog, Stefan; Brunstrom, Anna
Cited in: 0 Publications
Related Software:
Main Fields:

SeLINQ

Software Authors:   Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei
Cited in: 2 Publications (2014–2017)
Related Software: K Prover; Links; JSLINQ; F*; KJS; Ur/Web; …
Main Fields: Computer science (68-XX)

WtdCatmod

Software Authors:   James Knoke; Christy Anderson; Gary Koch
Cited in: 1 Publication (2013)
Related Software: WesVar; SAS/STAT; SUDAAN; PROC CATMOD; SAS; bootstrap; …
Main Fields: Numerical analysis (65-XX)

AdJail

Software Authors:   Ter Louw, M.; Ganesh, K.; Venkatakrishnan, V., Adjail
Cited in: 1 Publication (2013)
Related Software: ADsafety; SessionShield; ConScript; Mashic; Gulfstream; Zaphod; …
Main Fields: Computer science (68-XX)

Chaffinch

Software Authors:   Clayton, Richard; Danezis, George
Cited in: 1 Publication (2003)
Related Software:
Main Fields: Computer science (68-XX)

Chiron

Software Authors:   Tyler Hunt, Congzheng Song, Reza Shokri, Vitaly Shmatikov, Emmett Witchel
Cited in: 0 Publications
Related Software: Privado; PyTorch; SqueezeNet; MLCapsule; DarkneTZ
Main Fields:

CoCon

Software Authors:   Popescu, Andrei; Lammich, Peter; Hou, Ping
Cited in: 1 Publication (2021)
Related Software: CoSMed; Archive Formal Proofs; FlowFox; JRIF; CAVA LTL Modelchecker; Ur/Web; …
Main Fields: Computer science (68-XX)

CycurLIB

Software Authors:   escrypt GmbH
Cited in: 0 Publications
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

DNSCurve

Software Authors:   Bernstein, D.J.
Cited in: 1 Publication (2015)
Related Software: OpenSSL; NaCl; RELIC; eBACS; gmp
Main Fields: Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

EDSL

Software Authors:   Bain, Alex; Mitchell, John; Sharma, Rahul; Stefan, Deian; Zimmerman, Joe
Cited in: 1 Publication (2011)
Related Software: Sharemind; Haskell
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Mashic

Software Authors:   Luo, Z.; Rezk, T.
Cited in: 1 Publication (2013)
Related Software: AdJail; ADsafety; SessionShield; ConScript; Gulfstream; Zaphod; …
Main Fields: Computer science (68-XX)

MAWS

Software Authors:   Artail, Hassan; Kahale, Elie
Cited in: 1 Publication (2006)
Related Software: Voyager; Concordia; Aglets
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)

PixelVault

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

POSEIDON

Software Authors:   Sinem Sav, Apostolos Pyrgelis, Juan R. Troncoso-Pastoriza, David Froelicher, Jean-Philippe Bossuat, Joao Sa Sousa, Jean-Pierre Hubaux
Cited in: 1 Publication (2021)
Related Software: Lattigo; HEAAN; SEAL; go; HElib
Main Fields: Information and communication theory, circuits (94-XX)

TAKOS

Software Authors:   Falcone Y, Marchand H
Cited in: 1 Publication (2015)
Related Software: UMDES
Main Fields: Information and communication theory, circuits (94-XX)

VMGuard

Software Authors:   Haifeng Fang; Yiqiang Zhao; Hongyong Zang; H. Howie Huang; Ying Song; Yuzhong Sun; Zhiyong Liu
Cited in: 1 Publication (2019)
Related Software: VMHunt; NISLVMP; SEEAD; Capstone; BinSim; VMAttack; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Volpano Smith

Software Authors:   Gregor Snelting; Daniel Wasserrab
Cited in: 0 Publications
Related Software: Isabelle/HOL
Main Fields:

W3Bcrypt

Software Authors:   Stavrou, Angelos; Locasto, Michael E.; Keromytis, Angelos D.
Cited in: 1 Publication (2006)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

CONVERT

Software Authors:   GAMS
Cited in: 0 Publications
Related Software:
Main Fields:

SecureMA

Software Authors:   Xie W, Kantarcioglu M, Bush WS, Crawford D, Denny JC, Heatherly R, Malin BA.
Cited in: 0 Publications
Related Software:
Main Fields:

SNOW 3G

Software Authors:   Molina-Gil, J.; Caballero-Gil, P.; Caballero-Gil, C.; F'uster-Sabater, A.
Cited in: 0 Publications
Related Software:
Main Fields: