171 search results - page 12 / 35 » Improving Computer Security Using Extended Static Checking |
101
click to vote
IPPS
2008
IEEE
15 years 3 months ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
104
click to vote
JSSPP
2005
Springer
15 years 2 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
CTRSA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...