G
Galois (United States)
Portland, United States
424
Publications
7,766
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (243)
- Book Chapter (51)
- Preprint (23)
- Other (6)
- Dataset (4)
Filter by Open Access Type
- Open Access (128)
- Closed Access (204)
Filter by Authors
- Lee Pike (37)
- David W. Archer (20)
- John Launchbury (19)
- Aaron Tomb (15)
- Matthew Sottile (15)
Filter by Topics
- Formal Methods in Verification (62)
- Security and Verification in Computing (59)
- Logic, programming, and type systems (58)
- Software Testing and Debugging Techniques (40)
- Advanced Malware Detection Techniques (40)