Sciweavers

1599 search results - page 9 / 320
» Program Analysis for Security and Privacy
Sort
View
160
Voted
CCS
2006
ACM
15 years 9 months ago
Vulnerability analysis For evaluating quality of protection of security policies
Muhammad Abedin, Syeda Nessa, Ehab Al-Shaer, Latif...
168
Voted
CRISIS
2008
15 years 9 months ago
Formal procedural security modeling and analysis
We are involved in a project related to the evaluation
Komminist Weldemariam, Adolfo Villafiorita
FOSAD
2009
Springer
16 years 1 months ago
Resource Usage Analysis and Its Application to Resource Certification
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
193
Voted
ACSAC
2008
IEEE
16 years 1 months ago
Bridging the Gap between Data-Flow and Control-Flow Analysis for Anomaly Detection
Peng Li, Hyundo Park, Debin Gao, Jianming Fu