4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2023★ 4 cited
Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer
Daniel Blackwell, Ingolf Becker, David Clark
Information leakage is a class of error that can lead to severe consequences. However unlike other errors, it is rarely explicitly considered during the software testing process. L…
cs.CR2022
Quantitative Verification of Opacity Properties in Security Systems
Chunyan Mu, David Clark
We delineate a methodology for the specification and verification of flow security properties expressible in the opacity framework. We propose a logic, OpacTL , for straightforward…