diff --git a/content/research/publications.md b/content/research/publications.md index 726919b..1644240 100644 --- a/content/research/publications.md +++ b/content/research/publications.md @@ -1,9 +1,14 @@ --- Title: Publications Descriptions: Papers, Presentations, and Grants obtained -ShowDatesOnPosts: false +showthedate: false --- +## Papers + +(Accepted Paper TBA) Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. "Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems", FROCOS, 2021. + + ## Workshops [Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. "Algorithmic Problems in Synthesized Cryptosystems", UNIF Workshop, 2020.](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58)