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 WahlFEAST 24 Workshop Technical Program
|
Reverse Architecting Software Binaries
Authors:Denis GopanGreg NelsonHigh Confidence Software and Systems Conference
|
Putting a Roof Over Your Head: Object-Oriented Programming in Rust
Authors:Thomas WahlHigh Confidence Software and Systems Conference
|
Dykondo: Debloating Container Images for Reduced Attack Surface and Edge Deployments
Authors:Adam SeitzJonathan DornZachary FryHigh Confidence Software and Systems Conference
|
Predicting the Success of x86-64 Binary Rewriters
Authors:Akshay SoodJonathan DornKeara HillKimble D. HouckZachary FryMAPS 2023 The 7th Annual Symposium on Machine Programming
|
Open-Source Software Security – Areas of Long Term Focus and Prioritization
Authors:Deby KatzThomas WahlOffice of the National Cyber Director
|
CRAM: C++ to Rust Assisted Migration
Authors:Thomas WahlHigh Confidence Software and Systems Conference
|
Proteus: Automated Cyber Reasoning
Authors:Bill BiermanHigh Confidence Software and Systems Conference
|
A Broad Comparative Evaluation of x86-64 Binary Rewriters
Authors:Eric SchulteMichael D. BrownVlad FoltsCSET ’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 FryHigh Confidence Software and Systems Conference
|
Unified Configuration Modeling Infrastructure
Authors:Denis GopanHigh Confidence Software and Systems Conference
|
Binary Software Composition Analysis with CodeSentry
Authors:Antonio Flores-MontoyaHigh Confidence Software and Systems Conference
|