Formal synthesis

Hardin, D., & Slind, K. (2021). Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations. In 2021 IEEE Security and Privacy Workshops (SPW) (pp. 111–120). http://doi.org/10.1109/SPW53761.2021.00024
View
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.