Zephyr Lucas

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Failure Detection

Computationally Efficient

Definition Language

Top Venues

IEEE Secur. Priv.

Publications

Natarajan Shankar, Zephyr Lucas
Robust Verification of PEG Parser Interpreters. SP (Workshops) (2024)
Sameed Ali, Prashant Anantharaman, Zephyr Lucas, Sean W. Smith
What We Have Here Is Failure to Validate: Summer of LangSec. IEEE Secur. Priv. 19 (3) (2021)
Prashanth Mundkur, Linda Briesemeister, Natarajan Shankar, Prashant Anantharaman, Sameed Ali, Zephyr Lucas, Sean W. Smith
Research Report: The Parsley Data Format Definition Language. SP Workshops (2020)