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; LIME; CafeOBJ; TelegraphCQ; … 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: 17 Publications (2013–2022) Related Software: GitHub; Cassandra; HBase; Bigtable; Accumulo; NuFHE; … 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; MS SQL Server; … 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; Laminar; Merlin; SGX; Privtrans; F*; … 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: Vertica; Matlab; Cassandra; HBase; SNOBOL; GraphBLAS; … 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: Statistics (62-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: Laminar; Merlin; SGX; Privtrans; F*; Fable; … Main Fields: Computer science (68-XX)
PixelVault Software Authors: Vasiliadis, G., Athanasopoulos, E., Polychronakis, M., Ioannidis, S. Cited in: 1 Publication (2020) Related Software: RamCrypt; HyperCrypt; MemShield; Cryptkeeper; TRESOR; AESSE; … 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: DynOpVm; VMHunt; NISLVMP; SEEAD; Capstone; BinSim; … 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)
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: –