hardwear.io·49 min
Andrew 'Bunnie' Huang
Andrew 'Bunnie' Huang details NL 2025: [Keynote] Towards End-User Verifiable Silicon.
siliconend-userverifiable
verifiable
18 talks tagged with this topic.
Filters+
Loading filters…
1–18 of 18 talks · loading…
IEEE Symposium on Security and Privacy·15 min
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·16 min
Presenters detail vulnerability discovery and exploitation in Geppetto: Versatile Verifiable Computation.
geppettoversatileverifiable+1
IEEE Symposium on Security and Privacy·17 min
Industry experts analyze emerging threats surrounding Multi-Server Verifiable Computation of Low-Degree Polynomials.
multi-serververifiablecomputation+3
IEEE Symposium on Security and Privacy·20 min
Verifiable ASICs
Industry experts analyze emerging threats surrounding Verifiable ASICs.
verifiableasicvulnerability-research+1
IEEE Symposium on Security and Privacy·20 min
Program-Independent Preprocessing
Industry experts analyze emerging threats surrounding vRAM: Faster Verifiable RAM With Program-Independent Preprocessing.
vramfasterverifiable+2
IEEE Symposium on Security and Privacy·19 min
Presenters detail vulnerability discovery and exploitation in xJsnark: A Framework for Efficient Verifiable Computation.
frameworkxjsnarkefficient+2
IEEE Symposium on Security and Privacy 2025·10 min
Security researchers examine technical aspects of 830 Check Before you Solve Verifiable Time lock puzzles.
checksolveverifiable+1
NorthSec·28 min
Yolan Romailler
Engineers explore architecture and security mechanisms for NSEC2022 - Yolan Romailler - Public, verifiable, and unbiasable randomness: wassat?.
nsec2022yolanromailler+3
The Linux Foundation·46 min
Analyzes A Maintainable, Scalable, and Verifiable SW Qualification Approach for Automotive in Linux and evaluates key implications for security practitioners.
automotivelinuxmaintainable+2
The Linux Foundation·40 min
An Open-Source Implementation for Linked-Data-Based Verifiable Credenti... Dan Yamamoto & Kazue Sako
Demonstrates an Open-Source Implementation for Linked-Data-Based Verifiable Credenti... Dan Yamamoto & Kazue Sako and evaluates key implications for security practitioners.
open-sourceimplementationlinked-data-based+2
The Linux Foundation·30 min
Mateus Guzzo
Examines manaTEE: Enabling Verifiable AI Transparency With Confidential Computing and evaluates key implications for security practitioners.
manateeenablingverifiable+2
The Linux Foundation·49 min
Stephen Curran
Analyzes online Identity with Verifiable Credentials and ZKPs Using High School Math and evaluates key implications for security practitioners.
identitycredentialsonline+2
The Linux Foundation·46 min
Serge Hallyn · Joy Latten
Discusses verifiable End To End Secure OCI Native Machines and evaluates key implications for security practitioners.
verifiablenativemachine+2
DEFCON Switzerland·31 min
Kaya Ercihan · Antonio Vazquez Blanco
Kaya Ercihan details Toward Verifiable Microcode: Reversing AMD Zen5 Update.
amdverifiablemicrocode+2
RSA Conference (RSAC)·52 min
Analyzes verifiable Credential in Actions During ID-Verification Process and evaluates key implications for security practitioners.
verifiablecredentialaction+1
RSA Conference (RSAC)·41 min
Chase Cunningham · Heather Dahl · Mike Vesey
Reviews verifiable Credentials and the Future of Enterprise Security and evaluates key implications for security practitioners.
credentialsenterprise-securityverifiable+1
RSAC Cybersecurity·6 min
Engineers explore architecture and security mechanisms for Verifiable Application Security Training Program.
application-securitytrainingverifiable+1