Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Eric Mercer"'
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems. 34:400-415
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::592e1888de4a24d56cd9586caa17a909
https://doi.org/10.1109/tpds.2022.3218346
https://doi.org/10.1109/tpds.2022.3218346
Autor:
Darren Cofer, Isaac Amundson, Junaid Babar, David Hardin, Konrad Slind, Perry Alexander, John Hatcliff, null Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton
Publikováno v:
IEEE Security & Privacy. 20:52-64
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d843a3f07487fabbfd1e5052baddc774
https://doi.org/10.1109/msec.2022.3151733
https://doi.org/10.1109/msec.2022.3151733
Publikováno v:
2022 IEEE International Systems Conference (SysCon).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3583200a62f045b2435e10fcb6077165
https://doi.org/10.1109/syscon53536.2022.9773873
https://doi.org/10.1109/syscon53536.2022.9773873
Publikováno v:
Model Checking Software ISBN: 9783031150760
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b509be588e5d3780ff67013e7a42a59
https://doi.org/10.1007/978-3-031-15077-7_6
https://doi.org/10.1007/978-3-031-15077-7_6
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00b8e17fb7ff386c616f545f8dfb0a94
https://doi.org/10.1007/978-3-031-06773-0_19
https://doi.org/10.1007/978-3-031-06773-0_19
Autor:
Jason Belt, John Hatcliff, null Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent Mcleod
Publikováno v:
Journal of Systems Architecture. 134:102789
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf6b5d28f99254a4a51372f5ee0a6a38
https://doi.org/10.1016/j.sysarc.2022.102789
https://doi.org/10.1016/j.sysarc.2022.102789
Publikováno v:
MODELS
Cyber-physical systems, such as avionics, must be tolerant to cyber-attacks in the same way they are tolerant to random faults: they either gracefully recover or safely shut down as requirements dictate. The DARPA Cyber Assured Systems Engineering pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60cc4d1faf50e61ae5988f3de4e40d29
https://doi.org/10.1109/models50736.2021.00029
https://doi.org/10.1109/models50736.2021.00029
Autor:
Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 45:20-22
Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been suc- cessfully used to implement techniques such as symbolic and co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb6f34a542708d7be6ee77ad40a548a1
https://doi.org/10.1145/3385678.3385685
https://doi.org/10.1145/3385678.3385685
Autor:
Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
Publikováno v:
Innovations in Systems and Software Engineering. 15:289-306
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5241c0362716fc43ad72ce6f934f458
https://doi.org/10.1007/s11334-019-00343-5
https://doi.org/10.1007/s11334-019-00343-5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030763831
NFM
NFM
The Software Analysis Workbench (SAW) is a verification tool that has shown promise in verifying cryptographic implementations in C and Java as evidenced by the verification of Amazon’s s2n HMAC. That result uses an idealized abstraction for SHA256
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8994ddc87a7401a026470fd240a08436
https://doi.org/10.1007/978-3-030-76384-8_5
https://doi.org/10.1007/978-3-030-76384-8_5