A Survey of Practical Formal Methods for Security

Overview of attention for article published in Formal Aspects of Computing, July 2022

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#24 of 176)
Good Attention Score compared to outputs of the same age (67th percentile)

Mentioned by

twitter: 1 X user
patent: 1 patent

reddit: 1 Redditor

Readers on

mendeley: 106 Mendeley

So far, Altmetric has seen 2 X posts from 1 X users, with an upper bound of 9,065 followers.

Learn about the most read article from Formal Aspects of Computing (FAC) "A Survey of Practical Formal Methods for Security" by Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve A. Schneider, et. al. https://t.co/ZBMJmPRoCm #…

Learn about the most read article on Formal Aspects of Computing (FAC) "A Survey of Practical Formal Methods for Security" by Tomas Kulik, Brijesh Dongol, et al. https://t.co/ZBMJmPRoCm #cybersecurityy #formalmethods #surveypaper #openaccess @PeterGor…

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.