Hooman Asadian

According to our database, Hooman Asadian authored at least 2 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.

Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2018

Identification of Sybil attacks on social networks using a framework based on user interactions.

Hooman Asadian, Hamid Haj Seyed Javadi

Secur. Priv., 2018