78 search results - page 7 / 16 » Idea: Towards Architecture-Centric Security Analysis of Soft... |
ASPLOS
2011
ACM
12 years 11 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...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
AMAST
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ISESE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes ethnographic observations and analysis of the performance of student teams working on year-long software projects for industrial clients. Personality types we...