Jannis Limperg The Hitchhiker’s Guide to Logical Verification 2021 Standard Edition (October 13, 2021) lean-forward.github.io/ logical-verification/2021 ii Contents Contents iii Preface vii I Basics 6 Finish Tactic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 9.7 A Verification Condition Generator . . . . . . . . . . . . . . . . . . . . . 151 9.8 Second Program Revisited: /fpv2021/blob/main/src/lovelib.lean viii This Guide This guide is a companion to the MSc-level course Logical Verification (LoVe) taught at the Vrije Universiteit Amsterdam. Our primary aim is to teach in- teractive theorem

Lei Tang Google April 26, 2022 Service mesh security best practices: from implementation to verification Who are we? Anthony Roman Istio Github: anthony-roman Lei Tang Istio Github: lei-tang IDS Firewall User AuthN/Z Data Loss Prevention Certificate Authority K8s Network Policy K8s RBAC Audit Logging Image Verification Admission Control Workload Identity K8s RBAC K8s

26 Manage Account Information 26 Change / Reset Password 27 Enable / Disable Two-Step Verification 27 View Usage 28 Change Navicat Cloud Plan 28 Navicat On-Prem Server 29 Manage Account Account Information 29 Change / Reset Password 30 Enable / Disable Two-Step Verification 30 View Usage 31 Chapter 5 - Advanced Configurations 32 Overview 32 2 Organization Account are some highlights of Navicat Cloud Portal: • Edit your user profile. • Enable two-step verification. • Upgrade Navicat Cloud Plan. • Manage projects. • Download / Preview objects. •

Miniconda • GUI versus command line installer • Choosing a version of Python • Cryptographic hash verification You have 3 conda download options: • Download Anaconda---free. • Download Miniconda---free 23.3.1.post2+bdcba5dd0 Cryptographic hash verification SHA-256 checksums are available for Miniconda and Anaconda. We do not recommend using MD5 verification as SHA-256 is more secure. Download the installer • Use pip (use_pip) • Configure conda for use behind a proxy server (proxy_servers) • SSL verification (ssl_verify) • Offline mode only (offline) Channel locations (channels) Listing channel locations

Miniconda • GUI versus command line installer • Choosing a version of Python • Cryptographic hash verification You have 3 conda download options: • Download Anaconda---free. • Download Miniconda---free 0.0.0.dev0+placeholder Cryptographic hash verification SHA-256 checksums are available for Miniconda and Anaconda. We do not recommend using MD5 verification as SHA-256 is more secure. Download the installer • Use pip (use_pip) • Configure conda for use behind a proxy server (proxy_servers) • SSL verification (ssl_verify) • Offline mode only (offline) Channel locations (channels) Listing channel locations

Release 25.1.2.dev1 Cryptographic hash verification SHA-256 checksums are available for Miniconda and Anaconda Distribution. We do not recommend using MD5 verification as SHA-256 is more secure. Download If environments are not active, libraries won't be found and there will be lots of errors. HTTP or SSL errors are common errors when the Python in a child environment can't find the necessary OpenSSL library confusion. Environment variable for DLL loading verification If you don't want to activate your environment and you want Python to work for DLL loading verification, then follow the troubleshooting directions

Release 24.11.3.dev2 Cryptographic hash verification SHA-256 checksums are available for Miniconda and Anaconda Distribution. We do not recommend using MD5 verification as SHA-256 is more secure. Download If environments are not active, libraries won't be found and there will be lots of errors. HTTP or SSL errors are common errors when the Python in a child environment can't find the necessary OpenSSL library confusion. Environment variable for DLL loading verification If you don't want to activate your environment and you want Python to work for DLL loading verification, then follow the troubleshooting directions

Release 24.9.3.dev1 Cryptographic hash verification SHA-256 checksums are available for Miniconda and Anaconda Distribution. We do not recommend using MD5 verification as SHA-256 is more secure. Download If environments are not active, libraries won't be found and there will be lots of errors. HTTP or SSL errors are common errors when the Python in a child environment can't find the necessary OpenSSL library confusion. Environment variable for DLL loading verification If you don't want to activate your environment and you want Python to work for DLL loading verification, then follow the troubleshooting directions

macOS • Linux Cryptographic hash verification SHA-256 checksums are available for Miniconda and Anaconda Distribution. We do not recommend using MD5 verification as SHA-256 is more secure. Download If environments are not active, libraries won't be found and there will be lots of errors. HTTP or SSL errors are common errors when the Python in a child environment can't find the necessary OpenSSL library confusion. Environment variable for DLL loading verification If you don't want to activate your environment and you want Python to work for DLL loading verification, then follow the troubleshooting directions

macOS • Linux Cryptographic hash verification SHA-256 checksums are available for Miniconda and Anaconda Distribution. We do not recommend using MD5 verification as SHA-256 is more secure. Download If environments are not active, libraries won't be found and there will be lots of errors. HTTP or SSL errors are common errors when the Python in a child environment can't find the necessary OpenSSL library dev1 Environment variable for DLL loading verification If you don't want to activate your environment and you want Python to work for DLL loading verification, then follow the troubleshooting directions