Zobrazeno 1 - 10
of 194
pro vyhledávání: '"SEAN NOBLE"'
Fuzzing has proven to be very effective for discovering certain classes of software flaws, but less effective in helping developers process these discoveries. Conventional crash-based fuzzers lack enough information about failures to determine their
Externí odkaz:
http://arxiv.org/abs/2411.00261
Autor:
Sjöberg, Vilhelm, Dave, Kinnari, Britten, Daniel, Schett, Maria A, Sun, Xinyuan, Wang, Qinshi, Anderson, Sean Noble, Reeves, Steve, Shao, Zhong
Programs executed on a blockchain - smart contracts - have high financial stakes; their correctness is crucial. We argue, that this correctness needs to be foundational: correctness needs to be based on the operational semantics of their execution en
Externí odkaz:
http://arxiv.org/abs/2405.08348
Autor:
Anderson, Sean Noble, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C., Tolmach, Andrew
Publikováno v:
Proceedings of the 2023 IEEE 36th Computer Security Foundations Symposium (CSF)
The term stack safety is used to describe a variety of compiler, run-time, and hardware mechanisms for protecting stack memory. Unlike "the heap," the ISA-level stack does not correspond to a single high-level language concept: different compilers us
Externí odkaz:
http://arxiv.org/abs/2105.00417
Autor:
Steven H. Crouse, Stefani Kocevska, Sean Noble, Rupanjali Prasad, Anthony M. Howe, Dan P. Lambert, Ronald W. Rousseau, Martha A. Grover
Publikováno v:
Frontiers in Nuclear Engineering, Vol 2 (2023)
On-line infrared absorbance spectroscopy enables rapid measurement of solution-phase molecular species. Many spectra-to-concentration models exist for spectral data, with some models able to handle overlapping spectral bands and nonlinearities. Howev
Externí odkaz:
https://doaj.org/article/1e3e1171ec414fde9629aed19a3a4d47
Autor:
Xing Liu, Marcus Butts, Ekonkar Kaur, Lindsay Mechem Rosokha, Ian Siderits, Drake Van Egdom, Heidi Marie Baumann, Patrick Flynn, Christina Hymer, Paul W Mulvey, Sean Noble, Viva Nsair, Jiajin Sophie Tong, Kelly Schwind Wilson, Jing Zhang
Publikováno v:
Academy of Management Proceedings. 2022
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bd6e97faa021fe1bfc09e26644d2327
https://doi.org/10.5465/ambpp.2022.14759symposium
https://doi.org/10.5465/ambpp.2022.14759symposium
Publikováno v:
Chemical Engineering Science. 266:118184
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::489437ec6b783dd9098484447817208f
https://doi.org/10.1016/j.ces.2022.118184
https://doi.org/10.1016/j.ces.2022.118184
Publikováno v:
CPP
Hardware-assisted reference monitoring is receiving increasing attention as a way to improve the security of existing software. One example is the PIPE architecture extension, which attaches metadata tags to register and memory values and executes ta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::136e190b26b7197535bf84171d4d60bc