4731 search results - page 650 / 947 » Securing Interactive Programs |
164
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
191
click to vote
COMSWARE
2006
IEEE
16 years 22 days ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
164
Voted
ISSTA
2006
ACM
16 years 19 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
201
click to vote
CHES
2005
Springer
16 years 6 days ago
2005
Springer
Data remanence is the residual physical representation of data that has been erased or overwritten. In non-volatile programmable devices, such as UV EPROM, EEPROM or Flash, bits ar...
201
click to vote
ESOP
2005
Springer
16 years 6 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...