Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs.
Gilles BartheBenjamin GrégoireSantiago Zanella BéguelinPublished in: MPC (2012)
Keyphrases
- computer aided
- probabilistic relational
- computer assisted
- computer aided diagnosis
- diagnosis of breast cancer
- image analysis
- information security
- computer aided design
- neural network
- theorem proving
- inference rules
- modal logic
- process planning
- cad systems
- differential diagnosis
- bayesian networks
- design tools
- prostate cancer
- pulmonary nodules
- natural deduction
- computer vision
- description logics