Zobrazeno 1 - 10
of 1 235
pro vyhledávání: '"Verification of computer systems"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Nishizaki, Shin-ya1 (AUTHOR) nisizaki@c.titech.ac.jp, Seki, Shinnosuke2 (AUTHOR)
Publikováno v:
New Generation Computing. Jul2022, Vol. 40 Issue 2, p399-402. 4p.
Publikováno v:
ACM Journal on Emerging Technologies in Computing Systems. 19:1-34
This paper surveys the landscape of security verification approaches and techniques for computer systems at different levels: from a software-application level all the way to the physical hardware level. Different existing projects are compared, base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30ca828c33282db810c634d1e4a563bc
https://doi.org/10.1145/3564785
https://doi.org/10.1145/3564785
Autor:
Parno, Bryan1 (AUTHOR) parno@microsoft.com, Howell, Jon1 (AUTHOR) howell@microsoft.com, Gentry, Craig2 (AUTHOR) cbgentry@us.ibm.com, Raykova, Mariana3 (AUTHOR) mariana@cs.columbia.edu
Publikováno v:
Communications of the ACM. Feb2016, Vol. 59 Issue 2, p103-112. 10p. 2 Diagrams, 2 Charts, 2 Graphs.
Autor:
WALFISH, MICHAEL1 (AUTHOR) mwalfish@cs.nyu.edu, BLUMBERG, ANDREW J.2 (AUTHOR) blumberg@math.utexas.edu
Publikováno v:
Communications of the ACM. Feb2015, Vol. 58 Issue 2, p74-84. 11p. 1 Color Photograph, 1 Diagram, 4 Graphs.
Autor:
FISHER, MICHAEL1 mfisher@liverpool.ac.uk, DENNIS, LOUISE2 l.a.dennis@liverpool.ac.uk, WEBSTER, MATT3 matt@liverpool.ac.uk
Publikováno v:
Communications of the ACM. Sep2013, Vol. 56 Issue 9, p84-93. 10p. 1 Color Photograph, 1 Diagram.
Autor:
Berry, Daniel M.
Publikováno v:
Communications of the ACM. Dec2021, Vol. 64 Issue 12, p12-12. 1/4p.
Autor:
Solovyev, Alexey, Baranowski, Marek S., Briggs, Ian, Jacobsen, Charles, Rakamarić, Zvonimir, Gopalakrishnan, Ganesh
Publikováno v:
ACM Transactions on Programming Languages & Systems. Mar2019, Vol. 41 Issue 1, p1-39. 39p.
Publikováno v:
ACM Transactions on Programming Languages & Systems. Mar2019, Vol. 41 Issue 1, p1-38. 38p.
Autor:
Muniz Silva, Paulo Sérgio
Publikováno v:
In Electronic Notes in Theoretical Computer Science 12 May 2005 130:211-233