Sciweavers

47 search results - page 10 / 10
» Countering Automated Exploits with System Security CAPTCHAS
Sort
View
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
13 years 8 months ago
Satisfiability-based framework for enabling side-channel attacks on cryptographic software
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...
Nachiketh R. Potlapally, Anand Raghunathan, Srivat...
OOPSLA
2010
Springer
13 years 2 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler