Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities (Q2424888): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2019.02.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2920767208
@@ Property / OpenAlex ID: W2920767208 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized probabilistic satisfiability
@@ Property / cites work: Generalized probabilistic satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic satisfiability
@@ Property / cites work: Probabilistic satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Satisfiability and Coherence Checking through Integer Programming
+Normal rank
@@ Property / cites work @@
+Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
+Normal rank
@@ Property / cites work @@
+Probabilistic logic over equations and domain restrictions
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about probabilities
@@ Property / cites work: A logic for reasoning about probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739657
@@ Property / cites work: Q4739657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3649106
@@ Property / cites work: Q3649106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323698
@@ Property / cites work: Q3323698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
+Normal rank
@@ Property / cites work @@
+Q4941869
@@ Property / cites work: Q4941869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797801
@@ Property / cites work: Q4797801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4425685
@@ Property / cites work: Q4425685 / rank @@
+Normal rank
@@ Property / cites work @@
+ECDH Key-Extraction via Low-Bandwidth Electromagnetic Attacks on PCs
+Normal rank
@@ Property / cites work @@
+Applied Cryptography and Network Security
@@ Property / cites work: Applied Cryptography and Network Security / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941870
@@ Property / cites work: Q4941870 / rank @@
+Normal rank
@@ Property / cites work @@
+Masking against Side-Channel Attacks: A Formal Security Proof
+Normal rank
@@ Property / cites work @@
+Power Analysis Attacks
@@ Property / cites work: Power Analysis Attacks / rank @@
+Normal rank
@@ Property / cites work @@
+Some representations of the multivariate Bernoulli and binomial distributions
+Normal rank
@@ Property / Wikidata QID @@
+Q128306305
@@ Property / Wikidata QID: Q128306305 / rank @@
+Normal rank