285 search results - page 57 / 57 » Computationally Sound, Automated Proofs for Security Protoco... |
BMCBI
2008
13 years 5 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...
DSN
2004
IEEE
13 years 9 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
LAWEB
2009
IEEE
14 years 3 days ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
EUROSYS
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
KDD
2009
ACM
14 years 7 days ago
2009
ACM
The Border Gateway Protocol (BGP) is one of the fundamental computer communication protocols. Monitoring and mining BGP update messages can directly reveal the health and stabilit...