Casper Software Authors: Gavin Lowe / Oxford University Computing Laborator Cited in: 83 Publications (1999–2018) Related Software: AVISPA; TAPS; OFMC; FDR2; NRL; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
HMQV Software Authors: Krawczyk, Hugo Cited in: 92 Publications (2001–2022) Related Software: NAXOS; GitHub; KEM-DEM; Keccak; XooTools; Gimli; … Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
AVISPA Software Authors: European Community under the Information Society Technologies Programme (1998-2002) Cited in: 82 Publications (2005–2021) Related Software: Casper; ProVerif; OFMC; YAPA; TAMARIN; Maude-NPA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
MCMAS Software Authors: Alessio Lomuscio, Hongyang Qu, Franco Raimondi Cited in: 81 Publications (2006–2022) Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
OpenSSL Software Authors: The OpenSSL Project; Young, E.A., Hudson, T.J Cited in: 58 Publications (2002–2021) Related Software: eBACS; GitHub; gmp; eBASH; NaCl; Curve25519; … Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Algebraic geometry (14-XX)
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)
CMQV+ Software Authors: Li, Hui; Wu, Chuankun Cited in: 38 Publications (2005–2022) Related Software: NAXOS; AVISPA; EC2C-PAKA; GRace; NIST Statistical Test Suite; PRAND; … Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Maude-NPA Software Authors: Escobar, Santiago; Meadows, Catherine Author Profile; Meseguer, José; Santiago, Sonia Cited in: 31 Publications (2009–2022) Related Software: Maude; AVISPA; TAMARIN; MTT; YAPA; NRL; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
OFMC Software Authors: Sebastian Mödersheim, Luca Viganò Cited in: 25 Publications (2005–2021) Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
TAMARIN Software Authors: Meier, S., Schmidt, B., Cremers, C., Basin, D. Cited in: 22 Publications (2015–2023) Related Software: AVISPA; Akiss; Maude-NPA; Maude; ProVerif; Apte; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Quark Software Authors: J.-P. Aumasson, L. Henzen, W. Meier, M. Naya-Plasencia Cited in: 21 Publications (2010–2021) Related Software: KTANTAN; PRESENT; KATAN; Grain; Trivium; spongent; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-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)
YAPA Software Authors: Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie Cited in: 18 Publications (2009–2020) Related Software: AVISPA; Akiss; Maude-NPA; ProVerif; OFMC; FAST; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Akiss Software Authors: Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer Cited in: 16 Publications (2012–2022) Related Software: AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
scyther Software Authors: Cremers, C. Cited in: 14 Publications (2009–2017) Related Software: AVISPA; Akiss; TAMARIN; Casper; ConfiChair; Apte; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
TulaFale Software Authors: Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo Cited in: 12 Publications (2004–2012) Related Software: Spi2Java; ProVerif; AVISPA; AsmL; ASPIER; EasyCrypt; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
MiniLEGO Software Authors: Frederiksen, Tore Kasper; Jakobsen, Thomas Pelle; Nielsen, Jesper Buus; Nordholt, Peter Sebastian; Orlandi, Claudio Cited in: 13 Publications (2013–2021) Related Software: TinyLEGO; FleXOR; TASTY; EMP-toolkit; JustGarble; VMCrypt; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
BIOMET Software Authors: Garcia-Salicetti, Sonia; Beumier, Charles; Chollet, Gérard; Dorizzi, Bernadette; Leroux les Jardins, Jean; Lunter, Jan; Ni, Yang; Petrovska-Delacrétaz, Dijana Cited in: 6 Publications (2003–2010) Related Software: XM2VTSDB; Forensically; PRMLT; FRGC Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Iolus Software Authors: Mittra, S. Cited in: 8 Publications (2006–2022) Related Software: Cryptfs; StegFS Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
HERMES Software Authors: Bozga, L., Lakhnech, Y., Perin, M. Cited in: 8 Publications (2005–2009) Related Software: AVISPA; Casper; Timbuk; simpleAPL; Isabelle/ZF; scyther; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
HB-MP Software Authors: Munilla, J.; Peinado, A. Cited in: 7 Publications (2007–2016) Related Software: – Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SATMC Software Authors: Alessandro Armando, Luca Compagna Cited in: 6 Publications (2005–2018) Related Software: AVISPA; OFMC; Maude-NPA; NRL; Casper; Maude; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
FAST Software Authors: Conchinha, Bruno; Basin, David A.; Caleiro, Carlos Cited in: 7 Publications (2011–2020) Related Software: Akiss; YAPA; Apte; Maude-NPA; OFMC; ProVerif; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
SPEC Software Authors: A. Tiu Cited in: 7 Publications (2016–2021) Related Software: Bedwyr; Akiss; MWB; Elf; Centaur; ELPI; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Gazelle Software Authors: Chiraag Juvekar, Vinod Vaikuntanathan, Anantha Chandrakasan Cited in: 5 Publications (2021–2022) Related Software: MNIST; CUDA; SEAL; TFHE; nGraph-HE; TenSEAL; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
J-Sim Software Authors: Sobeih A, Hou J, Kung L-C, Li N, Zhang H, Chen W-P, Tyan H-Y, Lim H Cited in: 4 Publications (2009–2016) Related Software: TAG Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
SPY Software Authors: Neykova R, Yoshida N, Hu R Cited in: 4 Publications (2015–2017) Related Software: Scribble; COWS; JBoss; SAVARA; AIOCJ; Timed Conversation; … Main Fields: Computer science (68-XX)
Spi2Java Software Authors: Pozza, D., Sisto, R., Durante, L. Cited in: 3 Publications (2007–2014) Related Software: ASPIER; AGVI; ProVerif; TulaFale; ZKPDL; MJ; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
AGVI Software Authors: Song, Dawn; Perrig, Adrian; Phan, Doantam Cited in: 3 Publications (2001–2018) Related Software: MJ; JavaSPI; Spi2Java; Bouncy Castle; UMLsec; ZKPDL; … Main Fields: Computer science (68-XX)
Lem Software Authors: Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter Cited in: 3 Publications (2011–2021) Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; … Main Fields: Computer science (68-XX)
MOCCA Software Authors: Maciej Malawski; Dawid Kurzyniec; Vaidy Sunderam Cited in: 2 Publications (2008–2010) Related Software: SCIRun2; Fire Dynamics Simulator; PETSc; ScaLAPACK; LAPACK95; MCT; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
AnBx Software Authors: Modesti, P. Cited in: 1 Publication (2015) Related Software: Casper; ProVerif Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
AntBot Software Authors: G. Yan, D. T. Ha, S. Eidenbenz Cited in: 2 Publications (2012–2014) Related Software: – Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Cryptyc Software Authors: A.D. Gordon, C. Haack, A. Jeffrey Cited in: 3 Publications (2005–2015) Related Software: F*; TAMARIN; OFMC; ProVerif; CASPA_; AVISPA; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
JavaSPI Software Authors: Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo Cited in: 1 Publication (2018) Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
LDYIS Software Authors: Lomuscio, Alessio; Penczek, Wojciech Cited in: 3 Publications (2008–2011) Related Software: MCMAS-X; MCMAS; Casper; AVISPA; TAPS; VerICS Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
QUAIL Software Authors: Fabrizio Biondi, Axel Legay, Louis-marie Traonouez Cited in: 2 Publications (2016–2019) Related Software: DTA++; LeakWatch; ANTLR Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
S-RIP Software Authors: Wan, Tao; Kranakis, Evangelos; van Oorschot, Paul C. Cited in: 3 Publications (2004–2009) Related Software: – Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
SCAPI Software Authors: Yael Ejgenberg, Moriya Farbstein, Meital Levy, Yehuda Lindell Cited in: 1 Publication (2017) Related Software: VMCrypt; FairplayMP; TASTY; bplib; ZKPDL; emmy; … Main Fields: Information and communication theory, circuits (94-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)
verifier Software Authors: Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki Cited in: 3 Publications (2016–2019) Related Software: QPL; QPMC; LIQUi; ScaffCC; Quipper; PRISM Main Fields: Computer science (68-XX); Quantum theory (81-XX)
Wysteria Software Authors: Rastogi, A., Hammer, M.A., Hicks, M. Cited in: 3 Publications (2016–2022) Related Software: Sharemind; EasyUC; HyCC; JIFF; Links; Hop; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
CASPA_ Software Authors: Backes, Michael; Lorenz, Stefan; Maffei, Matteo; Pecina, Kim Cited in: 1 Publication (2015) Related Software: F*; TAMARIN; Cryptyc; OFMC; ProVerif; AVISPA; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
CryptoVerif Software Authors: Cadé, David; Blanchet, Bruno Cited in: 2 Publications (2012–2013) Related Software: ASPIER; OCaml; PassPoints; Lockr; OpenSSL Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
FORSAKES Software Authors: Dousti, Mohammad Sadeq; Jalili, Rasool Cited in: 2 Publications (2015–2019) Related Software: FrodoKEM; NAXOS; HMQV Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)
MoTE-ECC Software Authors: Liu, Zhe; Wenger, Erich; Großschädl, Johann Cited in: 2 Publications (2014–2015) Related Software: NanoECC; TinyECC; Curve25519 Main Fields: Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)
SANDLog Software Authors: Chen, Chen; Jia, Limin; Xu, Hao; Luo, Cheng; Zhou, Wenchao; Loo, Boon Thau Cited in: 1 Publication (2015) Related Software: VCGen; Coq; RapidNet; ProVerif; HOL/SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SeVe Software Authors: Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song Cited in: 2 Publications (2012–2015) Related Software: PRISM; PAT; Casper; ProVerif; AVISPA Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
VCGen Software Authors: Chen, Chen; Jia, Limin; Xu, Hao; Luo, Cheng; Zhou, Wenchao; Loo, Boon Thau Cited in: 1 Publication (2015) Related Software: SANDLog; Coq; RapidNet; ProVerif; HOL/SPIN Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CASIA-SURF Software Authors: Shifeng Zhang, Ajian Liu, Jun Wan, Yanyan Liang, Guogong Guo, Sergio Escalera, Hugo Jair Escalante, Stan Z. Li Cited in: 0 Publications Related Software: MagFace; DeepID3; DeepFace; EfficientNet; CosFace; FaceX-Zoo; … Main Fields: –
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)
FORCES Software Authors: INRIA; Aranda, Jesús; Assayag, Gerard; Olarte, Carlos; Pérez, Jorge A.; Rueda, Camilo; Toro, Mauricio; Valencia, Frank D. Cited in: 0 Publications Related Software: – Main Fields: –
G2C Software Authors: Backes, Michael; Maffei, Matteo; Pecina, Kim; Reischuk, Raphael M. Cited in: 1 Publication (2012) Related Software: AURA; Gecode Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
JIMU Software Authors: Zhu, Ruiyu; Huang, Yan Cited in: 1 Publication (2017) Related Software: GraphSC; EMP-toolkit; ObliVM; TinyLEGO; MiniLEGO Main Fields: Information and communication theory, circuits (94-XX)
MiniCPS Software Authors: Daniele Antonioli, Nils Ole Tippenhauer Cited in: 0 Publications Related Software: OMNet++; pycomm; POX; cpppo Main Fields: –
mod_ssl Software Authors: Ralf S. Engelschall Cited in: 1 Publication (2002) Related Software: GPDK; GridPort; Globus Toolkit Main Fields: Computer science (68-XX)
MoSS Software Authors: Herzberg, Amir; Leibowitz, Hemi; Syta, Ewa; Wrótniak, Sara Cited in: 1 Publication (2021) Related Software: CryptHOL; TAMARIN; GNUC; EasyCrypt Main Fields: Information and communication theory, circuits (94-XX)
nielsen Software Authors: Kotov, Matvei; Panteleev, Dmitry; Ushakov, Alexander Cited in: 1 Publication (2018) Related Software: GAP; SINGULAR Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Razor Software Authors: Salman Saghafi; Daniel J. Dougherty Cited in: 1 Publication (2015) Related Software: MiniSat; iProver; iProver-Eq; Kodkod; Mace4; E-Darvin; … Main Fields: Computer science (68-XX)
s2n Software Authors: Schmidt, S; AWS Labs Cited in: 1 Publication (2016) Related Software: OpenSSL Main Fields: Information and communication theory, circuits (94-XX)
scyther-proof Software Authors: Meier, S. Cited in: 1 Publication (2015) Related Software: TAMARIN; GitHub; Casper; ProVerif; Maude; AVISPA Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
sHMQV Software Authors: Zhao, Shijun; Zhang, Qianying Cited in: 1 Publication (2015) Related Software: – Main Fields: Information and communication theory, circuits (94-XX)
Silver Software Authors: Couteau, Geoffroy; Rindal, Peter; Raghuraman, Srinivasan Cited in: 1 Publication (2021) Related Software: libOTe; Algorithm 994; GitHub; McEliece; Magma Main Fields: Information and communication theory, circuits (94-XX)
TRING Software Authors: Raju, D.V.Naga; Kumari, V.Valli Cited in: 1 Publication (2010) Related Software: – Main Fields: Computer science (68-XX)
UPF Firewall Software Authors: Achim D. Brucker, Lukas Brügger, Burkhart Wolff Cited in: 1 Publication (2018) Related Software: GitHub; Autoref; nftables; iptables; pgf; Routing; … Main Fields: Computer science (68-XX)
EzPC Software Authors: Chandran, N., Gupta, D., Rastogi, A., Sharma, R., Tripathi, S Cited in: 0 Publications Related Software: – Main Fields: –