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.
-
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
|
-
Capabilities Labeling
Authors:Denis GopanGreg NelsonHigh 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
|
-
API analytics for curating static analysis rules
Authors:David MelskiJoseph RanieriLucja KotRoger ScottVineeth KashyapProceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
|
-
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
Authors:Joseph RanieriLucja KotRoger ScottVineeth Kashyap20th IEEE International Working Conference on Source Code Analysis and Manipulation
|
-
Datalog Disassembly
Authors:Antonio Flores-MontoyaEric Schulte29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020 (distinguished paper)
|