Pages that link to "Item:Q3103613"

The following pages link to Secure information flow by self-composition (Q3103613):

Displaying 20 items.

• Verification conditions for source-level imperative programs (Q465685) (← links)
• Timed hyperproperties (Q821560) (← links)
• Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
• Certified verification of relational properties (Q2165505) (← links)
• Model checking algorithms for hyperproperties (invited paper) (Q2234054) (← links)
• Product programs and relational program logics (Q2374302) (← links)
• Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
• Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
• Formalizing Probabilistic Noninterference (Q2938053) (← links)
• Is Your Software on Dope? (Q2988635) (← links)
• Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
• Efficient Information-Flow Verification Under Speculative Execution (Q3297608) (← links)
• (Q5016382) (← links)
• Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
• AutoHyper: explicit-state model checking for HyperLTL (Q6535349) (← links)
• Certifying the fairness of KNN in the presence of dataset bias (Q6535542) (← links)
• Searching for ribbon-shaped paths in fair transition systems (Q6535577) (← links)
• Analysis of software patches using numerical abstract interpretation (Q6536289) (← links)
• Abstract semantic dependency (Q6536297) (← links)