brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-09-19 14:15:13 -04:00
Code Issues Projects Releases Packages Wiki Activity

Added publication

Browse source
This commit is contained in:
Brandon Rozek 2021-07-26 10:46:59 -04:00
parent 17165847cd
commit 6b8de62ee2
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
content/research/publications.md
View file

@ -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)