Hooman Asadian

According to our database, Hooman Asadian authored at least 3 papers between 2018 and 2024.

Collaborative distances:

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

2024

Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution.

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

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

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