Amir M. Ahmadian
Scholar

Amir M. Ahmadian

Google Scholar ID: 51t8uh0AAAAJ
Chalmers University of Technology
Language-Based SecurityInformation Flow ControlFormal MethodsSoftware Security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
78
 
H-index
4
 
i10-index
2
 
Publications
9
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
2 items
Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification
2026
Cited
0
Securing P4 Programs by Information Flow Control
2025
Cited
0
Resume (English only)
Co-authors
7 total
Musard Balliu
Musard Balliu
KTH Royal Institute of Technology
Guido Salvaneschi
Guido Salvaneschi
Associate Professor - University of St.Gallen
Maryam Amirmazlaghani
Maryam Amirmazlaghani
Associate Professor of Computer Engineering Department, Amirkabir University of Technology
Co-author 4
Co-author 4
Roberto Guanciale
Roberto Guanciale
KTH
Anoud Alshnakat
Anoud Alshnakat
PhD Student, KTH Royal Institute of Technology Stockholm Sweden
Mads Dam
Mads Dam
Professor of Teleinformatics, KTH - Royal Institute of Technology