受强制性开放获取政策约束的文章 - Michael W. Hicks了解详情
可在其他位置公开访问的文章：36 篇
Evaluating fuzz testing
G Klees, A Ruef, B Cooper, S Wei, M Hicks
Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018
强制性开放获取政策： US National Science Foundation, US Department of Defense
A verified optimizer for quantum circuits
K Hietala, R Rand, SH Hung, X Wu, M Hicks
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
强制性开放获取政策： US Department of Energy
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
Build it, break it, fix it: Contesting secure development
J Parker, M Hicks, A Ruef, ML Mazurek, D Levin, D Votipka, P Mardziel, ...
ACM Transactions on Privacy and Security (TOPS) 23 (2), 1-36, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
Rubah: DSU for Java on a stock JVM
L Pina, L Veiga, M Hicks
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
Understanding security mistakes developers make: Qualitative analysis from build it, break it, fix it
D Votipka, KR Fulton, J Parker, M Hou, ML Mazurek, M Hicks
29th USENIX Security Symposium (USENIX Security 20), 109-126, 2020
强制性开放获取政策： US National Science Foundation
Benefits and drawbacks of adopting a secure programming language: Rust as a case study
KR Fulton, A Chan, D Votipka, M Hicks, ML Mazurek
Seventeenth Symposium on Usable Privacy and Security (SOUPS 2021), 597-616, 2021
强制性开放获取政策： US National Science Foundation
Coverage guided, property based testing
L Lampropoulos, M Hicks, BC Pierce
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
Counterexample-guided approach to finding numerical invariants
TV Nguyen, T Antonopoulos, A Ruef, M Hicks
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
强制性开放获取政策： US Department of Defense
Mvedsua: Higher availability dynamic software updates via multi-version execution
L Pina, A Andronidis, M Hicks, C Cadar
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
LWeb: Information flow security for multi-tier web applications
J Parker, N Vazou, M Hicks
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
Quantitative robustness analysis of quantum programs
SH Hung, K Hietala, S Zhu, M Ying, M Hicks, X Wu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
强制性开放获取政策： US Department of Energy
: a DSL for verified secure multi-party computations
A Rastogi, N Swamy, M Hicks
International Conference on Principles of Security and Trust, 99-122, 2019
强制性开放获取政策： US National Science Foundation
A language for probabilistically oblivious computation
D Darais, I Sweet, C Liu, M Hicks
Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense, US Office of the …
Qunity: A unified language for quantum and classical computing
F Voichick, L Li, R Rand, M Hicks
Proceedings of the ACM on Programming Languages 7 (POPL), 921-951, 2023
强制性开放获取政策： US National Science Foundation, US Department of Energy, US Department of …
{FIXREVERTER}: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing
Z Zhang, Z Patterson, M Hicks, S Wei
31st USENIX Security Symposium (USENIX Security 22), 3699-3715, 2022
强制性开放获取政策： US National Science Foundation
Verifying replicated data types with typeclass refinements in Liquid Haskell
Y Liu, J Parker, P Redmond, L Kuper, M Hicks, N Vazou
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of Spain
Tedsuto: A general framework for testing dynamic software updates
L Pina, M Hicks
2016 IEEE International Conference on Software Testing, Verification and …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Fuzzing configurations of program options
Z Zhang, G Klees, E Wang, M Hicks, S Wei
ACM Transactions on Software Engineering and Methodology 32 (2), 1-21, 2023
强制性开放获取政策： US National Science Foundation
Verified compilation of quantum oracles
L Li, F Voichick, K Hietala, Y Peng, X Wu, M Hicks
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 589-615, 2022
强制性开放获取政策： US Department of Energy, US Department of Defense
出版信息和资助信息由计算机程序自动确定