Publications

2025

Securing P4 Programs by Information Flow Control
Anoud Alshnakat, Amir M. Ahmadian, Musard Balliu, Roberto Guanciale, and Mads Dam.
In IEEE Computer Security Foundations Symposium (CSF 2025)
To Secure a Flow: From Specification to Enforcement of Information Flow Control
Amir M. Ahmadian
PhD Thesis

2024

Disjunctive Policies for Database-Backed Programs
Amir M. Ahmadian, Matvey Soloviev, and Musard Balliu.
In IEEE Computer Security Foundations Symposium (CSF 2024)

2022

Dynamic Policies Revisited
Amir M. Ahmadian, and Musard Balliu.
In 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P 2022)
Distinguished Paper Award 🏆

2021

Enclave-Based Secure Programming with JE
Aditya Oak, Amir M. Ahmadian, Musard Balliu, and Guido Salvaneschi.
In 2021 IEEE Secure Development Conference (SecDev 21)
Language Support for Secure Software Development with Enclaves
Aditya Oak, Amir M. Ahmadian, Musard Balliu, and Guido Salvaneschi.
In IEEE Computer Security Foundations Symposium (CSF 2021)

2019

A Novel Secret Image Sharing with Steganography Scheme Utilizing Optimal Asymmetric Encryption Padding and Information Dispersal Algorithms
Amir M. Ahmadian, and Maryam Amirmazlaghani.
In Signal Processing: Image Communication

2017

Computationally Secure Secret Image Sharing
Amir M. Ahmadian, and Maryam Amirmazlaghani.
In 25th Iranian Conference on Electrical Engineering (ICEE 2017)

2016

Improving Stego-Image Quality in Secret Image Sharing with Steganography
Amir M. Ahmadian
MSc Thesis (In Persian)