Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations
Author
David Hardin
Konrad Slind
Keywords
Privacy
Software algorithms
Systems architecture
Computer architecture
Tools
Software
Hardware
Language theoretic security
formal verification
Formal synthesis
Architecture modeling
Year of Publication
2021
Conference Name
2021 IEEE Security and Privacy Workshops (SPW)
URL
https://loonwerks.com/publications/pdf/hardin2021langsec.pdf
DOI
10.1109/SPW53761.2021.00024
Google Scholar | BibTeX | DOI
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.