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

Disjunctive Policies for Database-Backed Programs

Amir M. Ahmadian, Matvey Soloviev, and Musard Balliu.
In IEEE Computer Security Foundations Symposium (CSF 2024)

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)

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

Computationally Secure Secret Image Sharing

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

Improving Stego-Image Quality in Secret Image Sharing with Steganography

Amir M. Ahmadian
MSc Thesis (In Persian)