Is There Value in Reasoning About Security at the Architectural Level: A Comparative Evaluation
| Title | Is There Value in Reasoning About Security at the Architectural Level: A Comparative Evaluation |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Khalaj, Ebrahim, Vanciu, Radu, Abi-Antoun, Marwan |
| Conference Name | Proceedings of the 2014 Symposium and Bootcamp on the Science of Security |
| Publisher | ACM |
| Conference Location | Raleigh, NC, USA |
| ISBN Number | 978-1-4503-2907-1 |
| Keywords | ACM CCS, cyber security, Foundations, science of security, Security in Hardware |
| Abstract | We propose to build a benchmark with hand-selected test-cases from different equivalence classes, then to directly compare different approaches that make different tradeoffs to better understand which approaches find security vulnerabilities more effectively (better recall, better precision). |
| URL | http://doi.acm.org/10.1145/2600176.2600206 |
| DOI | 10.1145/2600176.2600206 |
| Citation Key | Khalaj:2014:VRS:2600176.2600206 |