Proposes compatibility scores for bivariate causal statements that quantify plausibility via the confounding implied by the induced multivariate model, plus an incompatibility score based on acyclicity and faithfulness constraints.
An attack on the Needham-Schroeder public- key authentication protocol
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
representative citing papers
A binary-analysis pipeline finds a first-contact privacy leak in WhatsApp Desktop by checking protocol models against instruction-cache side-channel observations.
History-based and runtime-dependency-based change impact recommendations for JavaScript overlap only 22% at a 60-function inspection budget, so hybrid recommendations cover more relevant candidates than either signal alone.
citing papers explorer
-
Evaluating Bivariate Causal Statements Based on Mutual Compatibility
Proposes compatibility scores for bivariate causal statements that quantify plausibility via the confounding implied by the induced multivariate model, plus an incompatibility score based on acyclicity and faithfulness constraints.
-
Automated Side-Channel Analysis of Cryptographic Protocol Implementations
A binary-analysis pipeline finds a first-contact privacy leak in WhatsApp Desktop by checking protocol models against instruction-cache side-channel observations.
-
Change Impact Recommendation for JavaScript: Lessons from History and Runtime Analysis
History-based and runtime-dependency-based change impact recommendations for JavaScript overlap only 22% at a 60-function inspection budget, so hybrid recommendations cover more relevant candidates than either signal alone.