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
specification
19 talks tagged with this topic.
Filters+
Loading filters…
1–19 of 19 talks · loading…
FIRST·24 min
Presenters detail vulnerability discovery and exploitation in Towards a Vulnerability Reporting Specification.
reportingvulnerabilityspecification+1
hardwear.io·32 min
Baptiste
Baptiste analyzes NL 2024: Bluetooth Low Energy GATT Fuzzing: Specification To Implementation.
bluetoothfuzzingenergy+2
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Breaking the Specification: Certified PDF.
breakingspecificationcertified
IEEE Symposium on Security and Privacy·12 min
Security researchers examine technical aspects of Finding Specification Blind Spots via Fuzz Testing.
findingspecificationblind+2
nullcon·41 min
Industry experts analyze emerging threats surrounding Do PDF Tools Conform To The Specification by Prashant Anantharaman.
toolconformspecification+3
Security Fest·35 min
Frans Rosén
SecurityFest 2018 investigates Frans Rosén - Breaking and abusing specifications and policies.
franbreakingabusing+3
The Linux Foundation·53 min
Sascha Hauer
Evaluates barebox and Bootloader Specification and evaluates key implications for security practitioners.
bootloaderbareboxspecification+2
The Linux Foundation·42 min
Confirming Safety of IAM Specifications and their OSS Implementations: Keycloak... Takashi Norimatsu
Discusses confirming Safety of IAM Specifications and their OSS Implementations: Keycloak... Takashi Norimatsu and evaluates key implications for security practitioners.
iamsafetyconfirming+2
The Linux Foundation·52 min
Discusses differences between the 2.x and 3.0 specification/migration and evaluates key implications for security practitioners.
differencespecificationmigration+1
The Linux Foundation·43 min
Seth Newberry · Ann Woodliff
Reviews effective Specification Programs: Formation to Global Adoption and evaluates key implications for security practitioners.
effectivespecificationformation
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·44 min
Scott Nicholas
Reviews leveraging Specifications in Open Source Projects and evaluates key implications for security practitioners.
open-sourceleveragingspecification
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
The Linux Foundation·9 min
Scott Murray
Analyzes lightning Talk: Vehicle Signal Specification and KUKSA.val Updates in AGL and evaluates key implications for security practitioners.
lightningvehiclesignal+2
The Linux Foundation·22 min
Explores standards and Specifications at the Linux Foundation - Jory Burson, The Linux Foundation and evaluates key implications for security practitioners.
linuxstandardsstandard+2
RSAC Cybersecurity·28 min
Security researchers examine technical aspects of Practical Use of the MUD Specification to Support Access Control in the IoT.
iotaccess-controlpractical+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