Research output per year
Research output per year
Search results
-
2022
A Mutation-Based Approach for the Formal and Automated Analysis of Security Ceremonies
Sempreboni, D. & Viganò, L., 2 Nov 2022, (Accepted/In press) In: Journal of Computer Security. 77 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile67 Downloads (Pure) -
Perceptions of beauty in security ceremonies
Bella, G., Ophoff, J., Renaud, K., Sempreboni, D. & Viganò, L., 11 Jun 2022, (Accepted/In press) In: Philosophy & Technology. 35 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile82 Downloads (Pure)