Cited By
View all- Kulik TDongol BLarsen PMacedo HSchneider STran-Jørgensen PWoodcock J(2022)A Survey of Practical Formal Methods for SecurityFormal Aspects of Computing10.1145/352258234:1(1-39)Online publication date: 5-Jul-2022
- Hassan MGroße DDrechsler RHassan MGroße DDrechsler R(2022)Digital Early Security ValidationEnhanced Virtual Prototyping for Heterogeneous Systems10.1007/978-3-031-05574-4_6(123-154)Online publication date: 3-May-2022
- Zhou ZReiter M(2021)Interpretable noninterference measurement and its application to processor designsProceedings of the ACM on Programming Languages10.1145/34855185:OOPSLA(1-30)Online publication date: 15-Oct-2021
- Show More Cited By