Adversarial logic

DOI10.1007/978-3-031-22308-2_19zbMath1524.68105MaRDI QIDQ6109430

Julien Vanegue

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Logic for reasoning about bugs in loops over data sequences (IFIL)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• First-order dynamic logic
• A calculus for cryptographic protocols: The spi calculus
• Local reasoning about the presence of bugs: incorrectness separation logic
• An abstract interpretation framework for input data usage
• On algebra of program correctness and incorrectness
• Relational Thread-Modular Static Value Analysis by Abstract Interpretation
• Reverse Hoare Logic
• On the security of public key protocols
• Abstract interpretation and application to logic programs
• An axiomatic basis for computer programming

This page was built for publication: Adversarial logic