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)

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)

Software Authors:   Berkant Ustaoglu; LaMacchia; Lauter; Mityagin

Cited in:	82 Publications (2007–2022)
Related Software:	HMQV; CMQV+; GitHub; liboqs; Curve25519; FrodoKEM; …
Main Fields:	Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

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)

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)

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)

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)

Software Authors:   Czajkowski, Karl; Foster, Ian; Kesselman, Carl; Sander, Volker; Tuecke, Steven

Cited in:	10 Publications (2002–2013)
Related Software:	Globus Toolkit; Open Science Grid; Condor-G; Java CoG Kit; Pegasus; Jess; …
Main Fields:	Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

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)

Software Authors:   Damgård, Ivan; Geisler, Martin; Krøigaard, Mikkel; Nielsen, Jesper Buus

Cited in:	14 Publications (2009–2022)
Related Software:	Sharemind; FairplayMP; TASTY; VMCrypt; fhe; MP-SPDZ; …
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

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)

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)

Software Authors:   Zhao, Jiaqi; Wang, Lizhe; Tao, Jie; Chen, Jinjun; Sun, Weiye; Ranjan, Rajiv; Kolodziej, Joanna; Streit, Achim; Georgakopoulos, Dimitrios

Cited in:	8 Publications (2014–2018)
Related Software:	Hadoop; MapReduce; CUDA; Bigtable; OpenNebula; Apache Spark; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   D.X. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M.G. Kang, Z. Liang, J. Newsome, P. Poosankam, P. Saxena

Cited in:	6 Publications (2012–2019)
Related Software:	BAP; Dytan; DART; Java PathFinder; pyftpdlib; DynOpVm; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Byun, Jin Wook; Lee, Dong Hoon; Lim, Jong In

Cited in:	9 Publications (2007–2013)
Related Software:	CMQV+; HMQV
Main Fields:	Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Jonathan K Millen

Cited in:	8 Publications (1998–2013)
Related Software:	PVS; Isabelle/HOL; OFMC; Casper; NRL; HOL; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

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)

Software Authors:   D’Anvers, Jan-Pieter; Karmakar, Angshuman; Sinha Roy, Sujoy; Vercauteren, Frederik

Cited in:	10 Publications (2018–2022)
Related Software:	FrodoKEM; Falcon; GitHub; NTRU; BLIS; GeMSS; …
Main Fields:	Combinatorics (05-XX); Computer science (68-XX); Quantum theory (81-XX)

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)

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)

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)

Software Authors:   V. Cheval; David Baelde, Stephanie Delaune, Lucca Hirschi

Cited in:	5 Publications (2017–2018)
Related Software:	Akiss; TAMARIN; AVISPA; FAST; scyther; GitHub; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Chaki, S. ;Datta, A.

Cited in:	5 Publications (2011–2017)
Related Software:	EasyCrypt; NAXOS; Spi2Java; HMQV; ZKPDL; MJ; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

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)

Software Authors:   Milan Fort, Felix Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan

Cited in:	6 Publications (2007–2021)
Related Software:	Sharemind; VIFF; SCUBA
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Hanaoka, Goichiro; Zheng, Yuliang; Imai, Hideki

Cited in:	5 Publications (1998–2017)
Related Software:	McOE; CLEFIA
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   NIST

Cited in:	3 Publications (2017–2020)
Related Software:	SPMF; BFF; Zzuf; Sulley
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

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)

Software Authors:   Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, Rene Rydhof; Pilegaard, Henrik; Seidl, Helmut

Cited in:	5 Publications (2004–2010)
Related Software:	Linda; KLAIM; PEPA; SpiCO; HOL/SPIN
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

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)

Software Authors:   Barreto, Paulo S.L.M.; Gueron, Shay; Güneysu, Tim; Misoczki, Rafael; Persichetti, Edoardo; Sendrier, Nicolas; Tillich, Jean-Pierre

Cited in:	4 Publications (2017–2022)
Related Software:	McEliece; McBits; BIKE; LEDAkem; PyECC; Python; …
Main Fields:	Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Shibayama, Etsuya; Hagihara, Shigeki; NaokiKobayashi,; Nishizaki, Shin-ya; KenjiroTaura,; Watanabe, Takuo

Cited in:	2 Publications (2003)
Related Software:	Coq; TALx86; JFlow; FDR2; CCured; Java PathFinder; …
Main Fields:	Computer science (68-XX)

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)

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)

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)

Software Authors:   Karthikeyan Bhargavan, Cédric Fournet, Santiago Zanella-Béuelin, Benjamin Beurdouche, Antoine Delignat-Lavaud, Markulf Kohlweiss, Jean-Karim Zinzindohoué, Nadim Kobeissi, Alfredo Pironti, Pierre-Yves Strub

Cited in:	3 Publications (2019–2021)
Related Software:	NAXOS; HaNS; CppMem; diy7; herd7; HOL
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

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)

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)

Software Authors:   Ma, Jie; He, Jin; Meng, Dan; Li, Guojie

Cited in:	2 Publications (2001–2003)
Related Software:	–
Main Fields:	Computer science (68-XX)

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)

Software Authors:   Schack-Nielsen, Anders; Schürmann, Carsten

Cited in:	2 Publications (2008–2018)
Related Software:	Twelf
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

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)

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)

Software Authors:   Reddy, T.Bheemarjuna; Sriram, S.; Manoj, B.S.; Murthy, C.Siva Ram

Cited in:	1 Publication (2006)
Related Software:	GloMoSim
Main Fields:	Computer science (68-XX)

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)

Software Authors:   Lindskog, Stefan; Brunstrom, Anna

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Li, MengJun; Zhou, Ti; Li, ZhouJun

Cited in:	2 Publications (2006–2009)
Related Software:	OCaml
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

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)

Software Authors:   Rüdiger Kapitza, Johannes Behl, Christian Cachin, Tobias Distler, Simon Kuhnle, Seyed Vahid Mohammadi, Wolfgang Schröder

Cited in:	1 Publication (2020)
Related Software:	MS SQL Server; Apache Kafka; MySQL; PostgreSQL
Main Fields:	Computer science (68-XX)

Software Authors:   Brier, Eric; Peyrin, Thomas

Cited in:	1 Publication (2010)
Related Software:	–
Main Fields:	Information and communication theory, circuits (94-XX)

Software Authors:   Mazurek, Łukasz

Cited in:	1 Publication (2021)
Related Software:	Why3; solgraph; Manticore; Mythril; GitHub; WhyML; …
Main Fields:	Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

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)

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)

Software Authors:   Magill, Stephen; Skaggs, Bradley; Papa, Mauricio; Hale, John

Cited in:	1 Publication (2003)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Khan, M. S.; Khan, M. I.; Malik, S. U.R.; Khalid, O.; Azim, M.; Javaid, N.

Cited in:	1 Publication (2020)
Related Software:	SenetSHM
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Pérez Díaz, Jesús Arturo; Álvarez Gutiérrez, Darío; García Barón, Sara Isabel

Cited in:	1 Publication (2000)
Related Software:	–
Main Fields:	Computer science (68-XX)

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)

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)

Software Authors:   Jonathan Balkind, Michael McKeown, Yaosheng Fu, Tri Nguyen, Yanqi Zhou, Alexey Lavrov, Mohammad Shahrad, Adi Fuchs, Samuel Payne, Xiaohua Liang, Matthew Matl, David Wentzlaff

Cited in:	1 Publication (2022)
Related Software:	Rocket Chip; Open2C; AXI
Main Fields:	Computer science (68-XX)

Software Authors:   Chang, Donghoon; Jati, Arpan; Mishra, Sweta; Sanadhya, Somitra Kumar

Cited in:	1 Publication (2015)
Related Software:	–
Main Fields:	Information and communication theory, circuits (94-XX)

Software Authors:   Zhao, Shijun; Zhang, Qianying

Cited in:	1 Publication (2015)
Related Software:	–
Main Fields:	Information and communication theory, circuits (94-XX)

Software Authors:   Islam, Md.Shariful; Hamid, Md.Abdul; Hong, Choong Seon

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

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)

Software Authors:   Raju, D.V.Naga; Kumari, V.Valli

Cited in:	1 Publication (2010)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   –

Cited in:	1 Publication (2017)
Related Software:	–
Main Fields:	Operations research, mathematical programming (90-XX)

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)

Software Authors:   Hevia, Alejandro; Mergudich-Thal, Ilana

Cited in:	1 Publication (2021)
Related Software:	Callisto
Main Fields:	Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Joaquim, André; Pardal, Miguel L.; Correia, Miguel

Cited in:	0 Publications
Related Software:	–
Main Fields:	–