Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Cynthia Sturton"'
Autor:
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton
Publikováno v:
IEEE Security & Privacy. 20:43-51
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1695b8c8ae683ad9ecefc4910dcbc15
https://doi.org/10.1109/msec.2022.3155376
https://doi.org/10.1109/msec.2022.3155376
Publikováno v:
IEEE Security & Privacy. 21:6-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5d18ed9f7fac34421439f0fc44d89a4
https://doi.org/10.1109/msec.2023.3258206
https://doi.org/10.1109/msec.2023.3258206
Publikováno v:
Journal of Cryptographic Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62e0874a4b45dcc5f625773b04ae9181
https://doi.org/10.1007/s13389-022-00306-w
https://doi.org/10.1007/s13389-022-00306-w
Publikováno v:
Proceedings of the 59th ACM/IEEE Design Automation Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d912a09248be75a818ab65037e337e6
https://doi.org/10.1145/3489517.3530637
https://doi.org/10.1145/3489517.3530637
Publikováno v:
IEEE Design & Test. 38:22-30
Editor’s notes: This article presents an end-to-end tool that, starting from a processor and a set of security-critical invariants, automatically generates exploits to help designers find security threats. — Rosario Cammarota, Intel Labs — Fran
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::599c7f72f0bb1289a2b663212116356f
https://doi.org/10.1109/mdat.2021.3063314
https://doi.org/10.1109/mdat.2021.3063314
Autor:
Cynthia Sturton, Ryan Kastner
Publikováno v:
Handbook of Computer Architecture ISBN: 9789811564017
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97179bac09f009a98cbeefa70ee2c7ff
https://doi.org/10.1007/978-981-15-6401-7_42-1
https://doi.org/10.1007/978-981-15-6401-7_42-1
Publikováno v:
IEEE Micro. 39:35-42
In an ideal world, it would be possible to build a provably correct and secure processor. However, the complexity of today's processors puts this ideal out of reach. The complete verification of a modern processor remains intractable. Statically veri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b8ef910469d8ac01b17cead83d03b85
https://doi.org/10.1109/mm.2019.2921509
https://doi.org/10.1109/mm.2019.2921509
Publikováno v:
ASHES@CCS
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a set of information flow properties that are suitable for use during th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f86a0125a4d8c62e30a22123eadee57e
http://arxiv.org/abs/2106.07449
http://arxiv.org/abs/2106.07449
Autor:
Calvin Deutschbein, Cynthia Sturton
Publikováno v:
HOST
Security specification mining is a relatively new line of research that aims to develop a set of security properties for use during the design validation phase of the hardware life-cycle. Prior work in this field has targeted open-source RISC archite
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::319af2cfc4acf3a0349dba4831947a9e
https://doi.org/10.1109/host45689.2020.9300291
https://doi.org/10.1109/host45689.2020.9300291
Autor:
Cynthia Sturton, Alyssa Byrnes
Publikováno v:
ITSC
In situations where humans and computers cooperate, mode confusion on the part of the human can be dangerous. We present a methodology to evaluate a semi-autonomous system for its support of mode awareness. The methodology uses discrete-state model c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99a0039f2cbbe234d561ab9fb6403260
https://doi.org/10.1109/itsc45102.2020.9294519
https://doi.org/10.1109/itsc45102.2020.9294519