Sepehr Amir

I am an associate professor at the Department of Computer Science, University of the Pacific. My research explores the interplay between the theory of programming languages, mathematical logic, and cybersecurity. In particular, my goal is to understand how linguistic approaches help to establish the properties of interest in different applications. In 2017, I received my PhD in Computer Science with a thesis on runtime enforcement of in-depth security policies.

I enjoy teaching undergraduate and graduate level courses on computer networking, reliable software design, programming languages, and theoretical aspects of computer science.

Research Interests

Cybersecurity with focus on programming languages techniques to provide formal software security assurance.

Recent Publications

For the full list, visit the publications page.

1. Towards quantifying information leakage of timing attacks in cyber-physical systems.
   Proceedings of the IEEE International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA), Antalya, Türkiye, August 2025


2. Approximating quantified information leakage in cyber-physical systems through their digital twins.
   Proceedings of the IEEE International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA), Antalya, Türkiye, August 2025


3. Large language models for automated network protocol testing: A survey.
   Proceedings of the 6th IEEE Annual World AI IoT Congress (AIIoT), Seattle Convention Center, USA, May 2025


4. An implementation model for correct audit logging in cyber-physical systems.
   Proceedings of the 1st International Workshop on Distributed Digital Twins (DiDiT 2024), as part of the 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024), Groningen, The Netherlands, June 2024