Verifying the Determinant in Parallel. - Miklos Santha; Sovanna Tan (Comput. Complex., 1998)

Modular implementation of dense matrix operations in a high-level BSP language. - Sovanna Tan; Frédéric Gava (HPCS, 2010)

Dynamic solution for detecting Denial of Service attacks in wireless sensor networks. - Malek Guechari; Lynda Mokdad; Sovanna Tan (ICC, 2012)

Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis. - Nihal Pekergin; Sovanna Tan; Jean-Michel Fourneau (GraMSec@CSF, 2016)

Stochastic Bounds For Some Stochastic Optimisation Problems. - Jean-Michel Fourneau; Nihal Pekergin; Sovanna Tan (VALUETOOLS, 2020)

Quantitative Analysis of Attack Defense Trees. - Nihal Pekergin; Sovanna Tan (VALUETOOLS, 2021)