BSides Canberra·30 min
Ihor Kuz
Ihor Kuz explores "Does Formal Verification Really Lead to Better Security?".
doeformalverification+1
verification
28 talks tagged with this topic.
Filters+
Loading filters…
1–24 of 28 talks · loading…
hardwear.io·41 min
Engineers explore architecture and security mechanisms for NL 2025: Bypassing PQC Signature Verification w FaultInjection Dilithium, XMSS, SPHINCS+.
signature-verificationbypassingsignature+2
IEEE Symposium on Security and Privacy·15 min
Engineers explore architecture and security mechanisms for An I/O Separation Model for Formal Verification of Kernel Implementations.
kernelseparationmodel+3
IEEE Symposium on Security and Privacy·14 min
Analysts investigate attack surfaces and defenses concerning An Interactive Prover for Protocol Verification in the Computational Model.
interactiveproverprotocol+2
IEEE Symposium on Security and Privacy·19 min
Presenters detail vulnerability discovery and exploitation in Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication.
authenticationtlsautomated+3
IEEE Symposium on Security and Privacy·22 min
Presenters detail vulnerability discovery and exploitation in Distance-Bounding Protocols: Verification without Time and Location.
protocolsdistance-boundingprotocol+1
IEEE Symposium on Security and Privacy·17 min
Presenters detail vulnerability discovery and exploitation in IronMask: Versatile Verification of Masking Security.
ironmaskversatileverification+1
IEEE Symposium on Security and Privacy·14 min
Analysts investigate attack surfaces and defenses concerning OWL: Compositional Verification of Security Protocols via an Information-Flow Type System.
protocolscompositionalverification+3
IEEE Symposium on Security and Privacy·12 min
Analysts investigate attack surfaces and defenses concerning PublicCheck: Public Integrity Verification for Services of Run-time Deep Models.
publiccheckpublicintegrity+3
IEEE Symposium on Security and Privacy·21 min
Secure Track Verification
Security researchers examine technical aspects of Secure Track Verification.
trackverificationvulnerability-research
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Sound Verification of Security Protocols: From Design to Interoperable Implementations.
protocolssoundverification+3
IEEE Symposium on Security and Privacy·12 min
Security researchers examine technical aspects of Understanding the (In)Security of Cross-side Face Verification Systems in Mobile Apps.
mobileunderstandingcross-side+3
IEEE Symposium on Security and Privacy·34 min
Analysts investigate attack surfaces and defenses concerning Verification State-space Reduction through Restricted Parsing Environments.
verificationstate-spacereduction+2
IEEE Symposium on Security and Privacy·15 min
Analysts investigate attack surfaces and defenses concerning VerX: Safety Verification of Smart Contracts.
safetysmart-contractsverx+3
nullcon·37 min
Finding Bugs in V8
Industry experts analyze emerging threats surrounding #NullconBerlin2025 | Finding Bugs in V8: A Formal Verification Approach by Simon Gerst.
nullconberlin2025findingbug+3
OWASP Foundation·31 min
AppSecUSA 2017 examines Automating TLS Configuration Verification.
tlsautomatingconfiguration+1
OWASP Foundation·24 min
A. van der Stock · J. Manico
A. van der Stock investigates OWASP Flagship Projects: Application Security Verification Standard.
owaspapplication-securityflagship+3
The Linux Foundation·21 min
Lan Xia · Renfei Wang
Analyzes dealing with Verification Data Overload and evaluates key implications for security practitioners.
dealingverificationoverload+1
The Linux Foundation·37 min
Nicolas Barry
Reviews formal Verification and Performance Simulation in Real World Applications and evaluates key implications for security practitioners.
simulationformalverification+1
The Linux Foundation·32 min
Daniel Bristot de Oliveira
Examines formal Verification Made Easy (and fast!) and evaluates key implications for security practitioners.
formalverificationeasy+1
The Linux Foundation·43 min
Deven Bowers
Demonstrates integrity Policy Enforcement: Full System Integrity Verification and evaluates key implications for security practitioners.
integrityenforcementsystem+1
The Linux Foundation·28 min
Evaluates LLVM improvements for better verification (Alan Jowett) and evaluates key implications for security practitioners.
llvmimprovementverification+1
The Linux Foundation·1 hr 3 min
Craig Christianson · United States Air Force
Reviews modernizing Software Verification and evaluates key implications for security practitioners.
modernizingverificationmodernizing-software+1
The Linux Foundation·31 min
Marc Price · Trevor Lovett
Details the Evolution of VNF/CNFI/NFVI Compliance & Verification and evaluates key implications for security practitioners.
complianceevolutioncnfi+2