397 search results - page 80 / 80 » Refinement Types for Secure Implementations |
SIGSOFT
2010
ACM
12 years 11 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
IACR
2011
12 years 4 months ago
2011
Software drive encryption systems are vulnerable to memory attacks, in which an attacker gains physical accesses to the unattended computer, obtains the decryption keys from memor...