Survey of Approaches and Techniques for Security Verification of Computer Systems.
Saved in:
| Title: | Survey of Approaches and Techniques for Security Verification of Computer Systems. |
|---|---|
| Authors: | ERATA, FERHAT1, ferhat.erata@yale.edu, SHUWEN DENG1, shuwen.deng@yale.edu, ZAGHLOUL, FAISAL1, faisal.zaghloul@yale.edu, WENJIE XIONG2, wenjiex@vt.edu, DEMIR, ONUR3, odemir@cse.yeditepe.edu.tr, SZEFER, JAKUB1, jakub.szefer@yale.edu |
| Source: | ACM Journal on Emerging Technologies in Computing Systems; Jan2023, Vol. 19 Issue 1, p1-34, 34p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15504832 |
|---|---|
| DOI: | 10.1145/3564785 |
