Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Galois (United States) | Researchclopedia

Back to institutions

Galois (United States)

Portland, Oregoncompany

418

Works

7,479

Citations

44

h-index

Top Research Topics

Formal Methods in Verification Logic, programming, and type systems Security and Verification in Computing

Top Researchers

D. L. Burke SLAC National Accelerator Laboratory

391 works22,056 citationsh-index: 76

Recent Research

seL4/l4v: Proofs for seL4 15.0.0

Gerwin Klein,Rafal Kolanski,et al.

20260 citations

Software Testing and Debugging Techniques

Advanced Malware Detection Techniques

Cryptography and Data Security

Distributed systems and fault tolerance

Cryptographic Implementations and Security

Parallel Computing and Optimization Techniques

Software Reliability and Analysis Research

Software Engineering Research

Complexity and Algorithms in Graphs

Benjamin F. Jones Northwestern University

174 works19,740 citationsh-index: 45

Peter S. White General Atomics (United States)

288 works11,335 citationsh-index: 55

S. Magill Northwestern University

285 works10,567 citationsh-index: 54

Eric Davis Cornell University

213 works10,078 citationsh-index: 51

Matthew Clark Cell Biologics (United States)

155 works7,871 citationsh-index: 36

seL4/capdl: capDL 0.5.0

Kent McLeod,Anna Lyons,et al.

20260 citations

seL4/camkes-tool: CAmKES 3.12.0

Stephen Sherratt,Kent McLeod,et al.

20260 citations

seL4/l4v: Proofs for seL4 14.0.0

Gerwin Klein,Rafal Kolanski,et al.

20250 citations

Identifying and Intervening on Glucose Patterns in Multivariate Data Using Block-Based Recurrence Quantification Analysis

Taisa Kushner,Clara Mosquera-Lopez,et al.

20250 citations

Probing the Topology of the Space of Tokens with Structured Prompts

Michael Robinson,Sourya Dey,et al.

20250 citations