3003 search results - page 434 / 601 » Software Security: Building Security In |
125
click to vote
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
163
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
160
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
217
Voted
PET
2010
Springer
15 years 8 months ago
2010
Springer
Web Search is one of the most rapidly growing applications on the internet today. However, the current practice followed by most search engines – of logging and analyzing usersâ€...
151
Voted
DAC
2007
ACM
15 years 8 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...