Scholar
Amir M. Ahmadian
Google Scholar ID: 51t8uh0AAAAJ
Chalmers University of Technology
Language-Based Security
Information Flow Control
Formal Methods
Software Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
78
H-index
4
i10-index
2
Publications
9
Co-authors
7
list available
Publications
2 items
Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification
2026
Cited
0
Securing P4 Programs by Information Flow Control
2025
Cited
0
Co-authors
6 total
Musard Balliu
KTH Royal Institute of Technology
Guido Salvaneschi
Associate Professor - University of St.Gallen
Maryam Amirmazlaghani
Associate Professor of Computer Engineering Department, Amirkabir University of Technology
Roberto Guanciale
KTH
Anoud Alshnakat
PhD Student, KTH Royal Institute of Technology Stockholm Sweden
Mads Dam
Professor of Teleinformatics, KTH - Royal Institute of Technology
