Dolev's transformative work has had a significant impact on the discipline of artificial intelligence. His contributions have defined our view of systems, and his visionary approach continues to challenge researchers and practitioners today. Dolev's work on practical applications has paved the way for developments in areas such as cryptography. His