1
Publications
105
Citations
1
H-Index
2004
Active since
Affiliations
University of California, Riverside(Current)
M. Faloulsos is an author at University of California, Riverside specializing in formal verification, verification, and data security.
Top concepts
BusinessEngineeringData ScienceVerificationData SecurityData ManagementPolicy AnalysisComputer ScienceMechanism DesignFormal Verification
Publications per year
2004–2004
1
1
Analyzing BGP policies: methodology and tool
G. Siganos, M. Faloulsos · 2004 · 105 citations
Internet Traffic Analysis, Engineering, Information Security +19
Rows per page
1–1 of 1