52 search results - page 11 / 11 » Tools for model-based security engineering: models vs. code |
DRM
2006
Springer
13 years 8 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
ASPLOS
2011
ACM
12 years 8 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...