1541 search results - page 46 / 309 » Tools and Techniques for Model Checking Networked Programs |
133
Voted
CORR
2010
Springer
15 years 3 days ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
133
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
88
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
127
Voted
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
126
click to vote
CORR
2010
Springer
15 years 19 days ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...