high-assurance

IEEE Symposium on Security and Privacy·15 min

• IEEE SP
• Community
• Date: 2025
• Location: Ieee Sp

Industry experts analyze emerging threats surrounding High-Assurance Cryptography in the Spectre Era.

IEEE Symposium on Security and Privacy·30 min

• IEEE SP
• Hardware
• Date: 2025
• Location: Ieee Sp

Kathleen Fisher · Charlie Miller · Chris Valasek · Leslie Stahl

Analysts investigate attack surfaces and defenses concerning Programming Languages for High-Assurance Vehicles.

IEEE Symposium on Security and Privacy·17 min

• IEEE SP
• Community
• Date: 2025
• Location: Ieee Sp

Analysts investigate attack surfaces and defenses concerning The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.