101 search results - page 19 / 21 » Formal approach to security metrics.: what does |
108
Voted
EUROCRYPT
2004
Springer
15 years 4 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
107
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
130
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
114
click to vote
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
109
click to vote
CADE
2005
Springer
16 years 26 days ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...