Sign in
Hooman Asadian
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 2
Top Topics
Symbolic Execution
Test Suite
Simulated Annealing Algorithm
User Input
Top Venues
ICST
Secur. Priv.
</>
Publications
</>
Hooman Asadian
,
Paul Fiterau-Brostean
,
Bengt Jonsson
,
Konstantinos Sagonas
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.
ICST
(2022)
Hooman Asadian
,
Hamid Haj Seyed Javadi
Identification of Sybil attacks on social networks using a framework based on user interactions.
Secur. Priv.
1 (2) (2018)