Publications
GrammaTech Research
GrammaTech is a spin-off from Cornell University, and for over three decades has fostered a culture of creative thinking, cutting edge research, and technology development. Check out some of our published papers below.
-
Minimizing Software Containers: Forethought or Hindsight
Authors:Adam SeitzDeby KatzDenis GopanJonathan DornJunghee LimLucja KotThomas WahlLearn moreFEAST 24 Workshop Technical Program
|
-
Reverse Architecting Software Binaries
Authors:Denis GopanGreg NelsonLearn moreHigh Confidence Software and Systems Conference
|
-
Putting a Roof Over Your Head: Object-Oriented Programming in Rust
Authors:Thomas WahlLearn moreHigh Confidence Software and Systems Conference
|
-
Dykondo: Debloating Container Images for Reduced Attack Surface and Edge Deployments
Authors:Adam SeitzJonathan DornZachary FryLearn moreHigh Confidence Software and Systems Conference
|
-
Predicting the Success of x86-64 Binary Rewriters
Authors:Akshay SoodJonathan DornKeara HillKimble D. HouckZachary FryLearn moreMAPS 2023 The 7th Annual Symposium on Machine Programming
|
-
Open-Source Software Security – Areas of Long Term Focus and Prioritization
Authors:Deby KatzThomas WahlLearn moreOffice of the National Cyber Director
|
-
CRAM: C++ to Rust Assisted Migration
Authors:Thomas WahlLearn moreHigh Confidence Software and Systems Conference
|
-
Proteus: Automated Cyber Reasoning
Authors:Bill BiermanLearn moreHigh Confidence Software and Systems Conference
|
-
A Broad Comparative Evaluation of x86-64 Binary Rewriters
Authors:Eric SchulteMichael D. BrownVlad FoltsLearn moreCSET ’22: Proceedings of the 15th Workshop on Cyber Security Experimentation and Test
|
-
Tiffin and MGen: An Expressive Policy Language with Multiple Runtime Monitoring Tools
Authors:Cameron SwordsHajime InoueLucja KotWei-Cheng WuZachary FryLearn moreHigh Confidence Software and Systems Conference
|
-
Unified Configuration Modeling Infrastructure
Authors:Denis GopanLearn moreHigh Confidence Software and Systems Conference
|
-
Binary Software Composition Analysis with CodeSentry
Authors:Antonio Flores-MontoyaLearn moreHigh Confidence Software and Systems Conference
|