formally

6 talks tagged with this topic.

Filters+

Loading filters…

1–6 of 6 talks · loading…

Sort

IEEE Symposium on Security and Privacy·15 min

IEEE SP
Hardware
Date: 2025
Location: Ieee Sp

A Secure and Formally Verified Linux KVM Hypervisor

Industry experts analyze emerging threats surrounding A Secure and Formally Verified Linux KVM Hypervisor.

linuxhypervisorformally+1

IEEE Symposium on Security and Privacy·15 min

IEEE SP
Wireless
Date: 2025
Location: Ieee Sp

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting

Security researchers examine technical aspects of Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.

formallyverifyingverifiable+3

IEEE Symposium on Security and Privacy·19 min

IEEE SP
AppSec
Date: 2025
Location: Ieee Sp

Formally Verified Cryptographic Web Applications in WebAssembly

Engineers explore architecture and security mechanisms for Formally Verified Cryptographic Web Applications in WebAssembly.

webformallyverified+3

IEEE Symposium on Security and Privacy·22 min

IEEE SP
Hardware
Date: 2025
Location: Ieee Sp

Micro-Policies: Formally Verified, Tag-Based Security Monitors

Presenters detail vulnerability discovery and exploitation in Micro-Policies: Formally Verified, Tag-Based Security Monitors.

micro-policieformallyverified+3

Fortinet·8 min

FORTINET
Community
Date: 2024
Location: Fortinet

FortiFlex (formally Flex-VM) Use Cases | FortiFlex

Security researchers examine technical aspects of FortiFlex (formally Flex-VM) Use Cases | FortiFlex.

fortiflexformallyflex-vm+1

IEEE Symposium on Security and Privacy·19 min

IEEE SP
Community
Date: 2024
Location: Ieee Sp

2024 467 ARMOR A Formally Verified Implementation of X 509 Certificate Chain Validation Joyanta De

Engineers explore architecture and security mechanisms for 2024 467 ARMOR A Formally Verified Implementation of X 509 Certificate Chain Validation Joyanta De.

armorformallyverified+2