BalCCon - Balkan Computer Congress·54 min
Stefan Nozinic
Demonstrates balCCon2k23 - Stefan Nozinic - Formal specifications of systems - why and how and evaluates key implications for security practitioners.
balccon2k23stefannozinic+2
formal
22 talks tagged with this topic.
Filters+
Loading filters…
1–22 of 22 talks · loading…
BSides Canberra·30 min
Ihor Kuz
Ihor Kuz explores "Does Formal Verification Really Lead to Better Security?".
doeformalverification+1
IEEE Symposium on Security and Privacy·18 min
Security researchers examine technical aspects of A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
security-analysiswebformal+3
IEEE Symposium on Security and Privacy·21 min
Industry experts analyze emerging threats surrounding A Formal Treatment of Accountable Proxying over TLS.
tlsformaltreatment+2
IEEE Symposium on Security and Privacy·17 min
Presenters detail vulnerability discovery and exploitation in An Extensive Formal Security Analysis of the OpenID Financial grade API Pedram Hosseyni.
security-analysisextensiveformal+3
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·19 min
Security researchers examine technical aspects of Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters.
formalanalysisanitizer
IEEE Symposium on Security and Privacy·19 min
Analysts investigate attack surfaces and defenses concerning Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities.
bluetoothvulnerabilitiesformal+3
IEEE Symposium on Security and Privacy·15 min
Engineers explore architecture and security mechanisms for Formal Modelling and Proof in the CHERI Design and Implementation Process.
formalmodellingproof+3
IEEE Symposium on Security and Privacy·21 min
Industry experts analyze emerging threats surrounding Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.
tlsexchangeconfirmation+3
IEEE Symposium on Security and Privacy 2025·8 min
Presenters detail vulnerability discovery and exploitation in 848 Asymmetric Mempool DoS Security Formal Definitions and Provable Secure Designs.
asymmetricmempoolformal+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
The Diana Initiative·44 min
Diana Initiative 2021-Mireya Jurado-Eww You're Leaking: A Formal Introduction to Information Leakage
Security researchers examine technical aspects of Diana Initiative 2021-Mireya Jurado-Eww You're Leaking: A Formal Introduction to Information Leakage.
dianainitiative2021-mireya+3
The Linux Foundation·39 min
Muhammad Usama Sardar
Reviews formal specification of attestation mechanisms in Confidential Computing and evaluates key implications for security practitioners.
formalspecificationattestation+2
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·1 hr
Examines LF Live Webinar: Writing a Formal IT Specification and evaluates key implications for security practitioners.
writingformalspecification
The Linux Foundation·1 hr 4 min
Discusses LF Live Webinar: Writing a Formal IT Specification for Publication by ISO and evaluates key implications for security practitioners.
writingformalspecification
IEEE Symposium on Security and Privacy·11 min
Engineers explore architecture and security mechanisms for 2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.
formalmodeldriven+1
IEEE Symposium on Security and Privacy·18 min
Engineers explore architecture and security mechanisms for 2024 76 Formal Dolev Yao Models Meet Cryptographic Protocol Fuzz Testing Max Ammann.
formaldolevmodel+2
Strange Loop Conference·40 min
Security researchers examine technical aspects of "Formal semantics for multi-language programs" by Amal Ahmed.
formalsemanticmulti-language+2
Strange Loop Conference·30 min
Analysts investigate attack surfaces and defenses concerning "Formal Specification and Taming Other People's Tech" by Marianne Bellotti.
formalspecificationtaming+1