357 search results - page 41 / 72 » Code security analysis with assertions |
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
87
Voted
DOCENG
2010
ACM
14 years 11 months ago
2010
ACM
: Document Imaging Security and Forensics Ecosystem Considerations Steven Simske, Margaret Sturgill, Guy Adams, Paul Everest HP Laboratories HPL-2010-156 Security, Forensics, Colo...
81
Voted
ESORICS
2007
Springer
15 years 4 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
ACSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
A new class of stealthy kernel-level malware, called transient kernel control flow attacks, uses dynamic soft timers to achieve significant work while avoiding any persistent ch...
90
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...