11 citations · 19 across the 5 of their papers we have counts for
5 papers
Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust
Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner +1
This paper presents LEAF, an instrumentation-based dynamic analysis framework for Rust. Although Rust has grown rapidly in recent years, the landscape of program analysis tools for…
RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities
Tarek Elsayed, Shiping Yang, Eunsong Koh +13
LLM agents are increasingly applied to vulnerability analysis, but existing benchmarks have not kept pace. They typically rely on small non-compilable snippets, focus on binary cla…
Applications and Challenges of Real-time Mobile DNA Analysis
Steven Y. Ko, Lauren Sassoubre, Jaroslaw Zola
The DNA sequencing is the process of identifying the exact order of nucleotides within a given DNA molecule. The new portable and relatively inexpensive DNA sequencers, such as Oxf…
Almost Universal Hash Families are also Storage Enforcing
Mohammad Iftekhar Husain, Steve Ko, Atri Rudra +1
We show that every almost universal hash function also has the storage enforcement property. Almost universal hash functions have found numerous applications and we show that this…
Storage Enforcement with Kolmogorov Complexity and List Decoding
Mohammad Iftekhar Husain, Steve Ko, Atri Rudra +1
We consider the following problem that arises in outsourced storage: a user stores her data on a remote server but wants to audit the server at some later point to make sure it…