Dolev's revolutionary work has had a lasting impact on the discipline of cybersecurity. His contributions have influenced our view of systems, and his visionary approach continues to inspire researchers and practitioners today. Dolev's work on practical applications has paved the way for developments in areas such as formal verification. His influe