3,851 followers
Combining classical and probabilistic independence reasoning to verify the security of oblivious algorithms. https://t.co/7SHIoe3jbo #ITP #IsabelleHOL
Formal Methods
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Adversarial Robustness Certification for Bayesian Neural Networks
-
Altmetric BadgeChapter 2 Getting Chip Card Payments Right
-
Altmetric BadgeChapter 3 A Local Search Algorithm for MaxSMT(LIA)
-
Altmetric BadgeChapter 4 Integrating Loop Acceleration Into Bounded Model Checking
-
Altmetric BadgeChapter 5 Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets
-
Altmetric BadgeChapter 6 Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
-
Altmetric BadgeChapter 7 A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic
-
Altmetric BadgeChapter 8 Free Facts: An Alternative to Inefficient Axioms in Dafny
-
Altmetric BadgeChapter 9 Understanding Synthesized Reactive Systems Through Invariants
-
Altmetric BadgeChapter 10 Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms
-
Altmetric BadgeChapter 11 Efficient Formally Verified Maximal End Component Decomposition for MDPs
-
Altmetric BadgeChapter 12 Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
-
Altmetric BadgeChapter 13 Fast Attack Graph Defense Localization via Bisimulation
-
Altmetric BadgeChapter 14 State Matching and Multiple References in Adaptive Active Automata Learning
-
Altmetric BadgeChapter 15 Automated Repair of Information Flow Security in Android Implicit Inter-App Communication
-
Altmetric BadgeChapter 16 Learning Branching-Time Properties in CTL and ATL via Constraint Solving
-
Altmetric BadgeChapter 17 A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
-
Altmetric BadgeChapter 18 Certified Quantization Strategy Synthesis for Neural Networks
-
Altmetric BadgeChapter 19 Partially Observable Stochastic Games with Neural Perception Mechanisms
-
Altmetric BadgeChapter 20 Bridging Dimensions: Confident Reachability for High-Dimensional Controllers
-
Altmetric BadgeChapter 21 A obustness fication Tool for uantum Machine Learning Models
-
Altmetric BadgeChapter 22 Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption
-
Altmetric BadgeChapter 23 Accurate Static Data Race Detection for C
-
Altmetric BadgeChapter 24 cfaults : Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
-
Altmetric BadgeChapter 25 Detecting Speculative Execution Vulnerabilities on Weak Memory Models
-
Altmetric BadgeChapter 26 Staged Specification Logic for Verifying Higher-Order Imperative Programs
-
Altmetric BadgeChapter 27 Unifying Weak Memory Verification Using Potentials
-
Altmetric BadgeChapter 28 Proving Functional Program Equivalence via Directed Lemma Synthesis
-
Altmetric BadgeChapter 29 Reachability Analysis for Multiloop Programs Using Transition Power Abstraction
-
Altmetric BadgeChapter 30 Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
-
Altmetric BadgeChapter 31 Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs
-
Altmetric BadgeChapter 32 The Opacity of Timed Automata
-
Altmetric BadgeChapter 33 Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
-
Altmetric BadgeChapter 34 The Nonexistence of Unicorns and Many-Sorted Löwenheim–Skolem Theorems