The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
Analysts investigate attack surfaces and defenses concerning The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·17 min
Analysts investigate attack surfaces and defenses concerning Typing High-Speed Cryptography against Spectre v1.
cryptographytypinghigh-speed+1
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding High-Assurance Cryptography in the Spectre Era.
cryptographyhigh-assurancespectre+1
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