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.
-
Disassembly as Weighted Interval Scheduling with Learned Weights
Learn more2025 IEEE Symposium on Security and Privacy (SP)
|
-
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
|
-
Capabilities Labeling
Authors:Denis GopanGreg NelsonLearn 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
|