Answers are grounded in this paper and cite their sources.
Independent reproduction (not the original artifact) of the evaluation of the paper on Kestrel, a contract language whose type system carries freshness, authentication, secrecy placement and consent-lease obligations of Cloud-IoT access-control protocols into program text. Contains the Python checker (Algorithms 1 and 2), an executable semantics and randomized adversarial simulator, the subject programs C1-C6, L1-L4, F1-F3 and the review witnesses, the mutation operators and all generated mutants, synthetic program generators, one-command reproduction scripts, and raw results including every timing sample.
No takes yet. Share an insight, caveat, or question.
Rehman et al. (2026) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: