HASE – High-Assurance Systems Engineering

The High Assurance Systems Engineering (HASE) workshop is a yearly event focused on principled techniques to verify correctness and security properties for hardware and low-level software. It is usually co-located with ACM CCS.

Topics covered include:

• Microarchitectural attacks and defenses
• Programming languages and compilers for secure systems design
• Operating system and low-level library design and verification
• Isolation, compartmentalization, and robust interfaces
• High-assurance device drivers and filesystems
• Security-oriented computer architectures
• Trusted execution environments
• Low-level security-preserving code optimization
• Scalable formal verification

Past and Future Events

• HASE 2026 is planned to be colocated with CCS 2026 (in the Netherlands in November).
• HASE 2025 occurred from 10-12 October in Taipei, Taiwan.

Nominations

HASE is an invite-only event. However, if you wish to attend or you know someone who you think would be a great fit, please send an email with a brief description to nominations at this domain.